@techreport{weko_86197_1,
   author	 = "磯田,誠 and 徳永,雄一",
   title	 = "制御ソフトウェア向けテストケース生成方式の提案",
   year 	 = "2012",
   institution	 = "三菱電機(株)情報技術総合研究所, 三菱電機(株)情報技術総合研究所",
   number	 = "8",
   month	 = "oct"
}