@techreport{weko_27971_1,
   author	 = "西ヶ谷力哉 and 梶原,誠司 and 住岡,徹次 and 樹下行三",
   title	 = "多重故障に対するテスト生成の効率的手法について",
   year 	 = "1994",
   institution	 = "大阪大学　工学部　応用物理学科, 大阪大学　工学部　応用物理学科, 大阪大学　工学部　応用物理学科, 大阪大学　工学部　応用物理学科",
   number	 = "93(1994-SLDM-072)",
   month	 = "oct"
}