@techreport{weko_22405_1, author = "柳沢,隆夫", title = "プログラムテストに用いるパスジェネレータの作成法", year = "1988", institution = "芝浦工業大学", number = "88(1988-SE-063)", month = "nov" }