@techreport{weko_26757_1,
   author	 = "松本,剛史 and 李,蓮福 and 吉田,浩章 and 余宮,尚志 and 藤田,昌宏",
   title	 = "反例を利用した網羅性の高いプロパティ集合生成手法",
   year 	 = "2008",
   institution	 = "東京大学大規模集積システム設計教育研究センター, 東京大学大学院工学系研究科電気系工学専攻, 東京大学大規模集積システム設計教育研究センター, 株式会社東芝ソフトウェア技術センター, 東京大学大規模集積システム設計教育研究センター",
   number	 = "111(2008-SLDM-137)",
   month	 = "nov"
}