@techreport{weko_22454_1, author = "柳沢,隆夫", title = "プログラムテストに用いるパスジェネレータへの一考察", year = "1987", institution = "芝浦工大", number = "55(1987-SE-055)", month = "jul" }