リファクタリングにおける脆弱性混入の検出
細粒度の振舞いに基づくプログラム差分理解支援ツール
ＫＡＯＳモデルを利用したｓｅｌｆ‐ａｄａｐｔｉｖｅシステムの構築
Ｔａｓｋ　Ｓｅｇｍｅｎｔａｔｉｏｎ　ａｎｄ　ＧＡ　ｆｏｒ　ｔｈｅ　Ｏｐｔｉｍｉｚａｔｉｏｎ　ｏｆ　Ｓｏｆｔｗａｒｅ　Ｄｅｖｅｌｏｐｍｅｎｔ　Ｍｕｌｔｉ‐Ｐｒｏｊｅｃｔ　Ｓｃｈｅｄｕｌｅ
モデル検査技術を用いたインバリアント被覆テストケースの自動生成によるＤａｉｋｏｎ出力の改善
Ｓｉｍｕｌａｔｉｏｎ　ｏｆ　ａ　Ｐｒｏｃｅｓｓ　Ｍｏｄｅｌ　ｗｉｔｈ　Ｃｏｍｍｕｎｉｃａｔｉｏｎ　Ｓｔｒｕｃｔｕｒｅ
成果物に基づいたソフトウェア開発プロジェクトの階層的な可視化フレームワーク
バグ予測で信頼性はどれだけ向上するのか？―テスト工数割り当ての観点からの従来研究の再評価
無線センサネットワークにおける計測記述言語のための規範モデル導出手法の構築
ステークホルダの意思決定を支援するプロダクトライン再生シナリオの提案〔ほか〕