講演番号 | 題目/著者 |
---|---|
B-001 | 要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール 式見 遼, 小形 真平, 松浦 佐江子, |
B-002 | Webアプリケーションを対象とした高網羅率の単体テスト自動生成について 鎌田 高如, 樋口 昌宏, |
B-003 | ソフトウェア開発の上流工程での要求定義支援ツールについて 上田 翔太, 石野 正彦, 石田 秀信, 寺田 郁二, |
B-004 | オブジェクト指向プログラミング初学者のためのソースコード評価ツール 若林 智徳, 松浦 佐江子, |
B-005 | モデル検査ツールNuSMVを用いたオントロジー検証 阿部 雄貴, 鈴木 大輝, 和泉 諭, 小林 秀幸, 高橋 薫, |
B-006 | ロボット制御システム設計のUMLアクティビティ図に対するペトリネットによる正当性検証 關屋 貴詞, 和崎 克己, |
RB-001 | テスト設計手法PROST! 鷲見 毅, 加瀬 直樹, 市田 憲明, 小笠原 秀人, |