@techreport{weko_178394_1,
   author	 = "山田,誠也 and 大久保,弘崇 and 粕谷,英人 and 山本,晋一郎",
   title	 = "分岐カバレッジ向上を目的とした静的解析を用いたテストケース自動生成",
   year 	 = "2017",
   institution	 = "愛知県立大学大学院情報科学研究科, 愛知県立大学情報科学部, 愛知県立大学情報科学部, 愛知県立大学情報科学部",
   number	 = "18",
   month	 = "mar"
}