@techreport{weko_27893_1, author = "篠木,剛 and 内田,智之 and 北,英彦 and 林,照峯", title = "実数値シミュレーションに基づくテスト生成法の性能向上について", year = "1995", institution = "三重大学, 三重大学, 三重大学, 三重大学", number = "99(1995-SLDM-077)", month = "oct" }