研究論文(研究会,シンポジウム資料等)
ソフトウェアエンジニアリング最前線 : 情報処理学会ソフトウェアエンジニアリングシンポジウム 2009
モデルに基づく誤り特定と反例修正候補の提示
熊澤 努 , 玉井哲雄
55
62