@techreport{weko_21159_1,
   author	 = "磯田,誠 and 田村,直樹",
   title	 = "モデル駆動によるテスト仕様の生成手法の提案",
   year 	 = "2007",
   institution	 = "三菱電機株式会社　情報技術総合研究所, 三菱電機株式会社　情報技術総合研究所",
   number	 = "33(2007-SE-155)",
   month	 = "mar"
}