14:00-14:10 オープニング
14:10-15:50 発表(25分/1件(質疑込み) 4件
・(1)嶋利 一真(大阪大学) ライブラリのバージョン更新支援のための実行トレースからのテストケース生成
・(2)伊山 宗吉(NTT) ソフトウェアの繰り返し開発において効率的にデグレードを検出するテスト技術
・(3)中島 震(NII) 一般化したテストオラクルについて
・(4)徳本 晋(富士通研究所) ミューテーション解析における非利用アサーション
15:50-16:00 休憩
16:00-17:15 発表(25分/1件(質疑込み) 3件
・(5)十川 雄司(九州工業大学) LTL式による動作ログからの不具合要因特定支援ツールの構築
・(6)丹野 治門(NTT) 企業の開発現場におけるソフトウェアバグ自動修正の実現に向けて
・(7)中野 大扉(九州大学) セキュリティバグ修正におけるCVE情報の実証実験に向けて
17:15-17:30 議論
9:00-11:30 議論