@inproceedings{weko_149070_1, author = "青木,善貴 and 松浦,佐江子", title = "B-016 ソースコ一ドの解析を利用したモデル検査に基づく欠陥抽出手法の提案(ソフトウェア,一般論文)", booktitle = "情報科学技術フォーラム講演論文集", year = "2009", volume = "8", number = "1", pages = "387--391", month = "aug" }