@techreport{weko_28030_1,
   author	 = "岩下,洋哲 and 中田,恒夫 and 広瀬,文保",
   title	 = "パイプライン制御を対象としたテストプログラム自動生成",
   year 	 = "1993",
   institution	 = "（株）富士通研究所CAD研究部, （株）富士通研究所CAD研究部, （株）富士通研究所CAD研究部",
   number	 = "94(1993-SLDM-068)",
   month	 = "oct"
}