@techreport{weko_28544_1, author = "星野民夫 and 和田康 and 須藤常太", title = "機能記述によるテスト発生手法", year = "1981", institution = "日本電信電話公社 武蔵野電気通信研究所, 日本電信電話公社 武蔵野電気通信研究所, 日本電信電話公社 武蔵野電気通信研究所", number = "5(1981-SLDM-009)", month = "jun" }