@techreport{weko_141267_1,
   author	 = "鷲見,毅 and 和田,大輝 and 晏,リョウ and 武山,文信",
   title	 = "モデル検査における不具合原因特定手法",
   year 	 = "2015",
   institution	 = "(株)東芝ソフトウェア技術センター, (株)東芝ソフトウェア技術センター, (株)東芝ソフトウェア技術センター, (株)東芝ソフトウェア技術センター",
   number	 = "40",
   month	 = "mar"
}