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