2015年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
B-024故障木図からのモデル検査式導出手法の提案

長田知之,  原内 聡,  

B-025組み合わせテスト集合生成におけるテストケース候補数の最適化について

大橋 輝,  土屋達弘,  

B-026Javaプログラムの逆方向解析

稲船哲也,  平中幸雄,  武田利浩,  

B-027受け入れテスト駆動開発による実行可能な仕様に関する検証結果

張  嵐,  藤井 拓,  木村めぐみ,