@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00149884,
 author = {青木, 善貴 and 松浦, 佐江子 and Aoki, Yoshitaka and Matsuura, Saeko},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Aug},
 pages = {319--324},
 publisher = {情報処理学会},
 title = {B-022 ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証(B分野:ソフトウェア,一般論文)},
 volume = {9},
 year = {2010}
}