@techreport{weko_22426_1, author = "所,洋一 and 門倉,敏夫 and 深沢,良彰", title = "形式的仕様記述からのテストデータ生成", year = "1988", institution = "早稲田大学理工学部, 早稲田大学理工学部, 早稲田大学理工学部", number = "7(1987-SE-058)", month = "feb" }