@techreport{weko_27352_1,
   author	 = "岡本,直己 and 市原,英行 and 井上,智生 and 細川,利典 and 藤原,秀雄",
   title	 = "強可検査性に基づくデータパスのテストプラン生成アルゴリズムの改良について",
   year 	 = "2003",
   institution	 = "広島市立大学大学院情報科学研究科, 広島市立大学情報科学部, 広島市立大学情報科学部, 日本大学生産工学部, 奈良先端科学技術大学院大学情報科学研究科",
   number	 = "120(2003-SLDM-112)",
   month	 = "nov"
}