@article{oai:ipsj.ixsq.nii.ac.jp:00075072,
 author = {荒堀, 喜貴 and Yoshitaka, ARAHORI},
 issue = {8},
 journal = {情報処理},
 month = {Jul},
 pages = {1002--1002},
 title = {2010年度論文賞の受賞論文紹介 : ソフトウェア・バグの高精度かつ高効率な検出に向けて},
 volume = {52},
 year = {2011}
}