@techreport{weko_35595_1,
   author	 = "若杉,忠男",
   title	 = "有限状態マシン（FSM）で表されるシステムの試験スイートの必要度充足率について",
   year 	 = "1995",
   institution	 = "若杉情報技術コンサルタントオフィス",
   number	 = "85(1995-DPS-072)",
   month	 = "sep"
}