@techreport{weko_22083_1, author = "高木,浩則 and 橋本,辰範", title = "外部イベント駆動型システムの試験系列生成手法", year = "1993", institution = "NTTソフトウェア研究所, NTTソフトウェア研究所", number = "59(1993-SE-093)", month = "jul" }