@techreport{weko_69331_1,
   author	 = "原田,裕基 and 西原,佑 and 松本,剛史 and 藤田,昌宏",
   title	 = "充足可能性判定に基づくシステムレベルデバッグ支援手法におけるバグモデルの導入による効率化",
   year 	 = "2010",
   institution	 = "東京大学大学院工学系研究科電気系工学専攻, 東京大学大学院工学系研究科電子工学専攻, 東京大学大規模集積システム設計教育研究センター, 東京大学大規模集積システム設計教育研究センター／科学技術振興機構戦略的創造研究推進事業",
   number	 = "10",
   month	 = "may"
}