@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00139691,
 book = {全国大会講演論文集},
 issue = {ソフトウェア科学・工学},
 month = {Mar},
 pages = {463--464},
 publisher = {情報処理学会},
 title = {モデル検査に基づくプログラム欠陥抽出作業支援ツールの開発と実践},
 volume = {第72回},
 year = {2010}
}