@article{weko_75072_1,
   author	 = "荒堀,喜貴",
   title	 = "2010年度論文賞の受賞論文紹介 : ソフトウェア・バグの高精度かつ高効率な検出に向けて",
   journal	 = "情報処理",
   year 	 = "2011",
   volume	 = "52",
   number	 = "8",
   pages	 = "1002--1002",
   month	 = "jul"
}