@techreport{weko_158012_1, author = "磯田,誠 and 西山,博仁", title = "制御ソフトウェア向け機能テストケース生成方式の提案", year = "2016", institution = "三菱電機 (株) 情報技術総合研究所, 三菱電機 (株) 情報技術総合研究所", number = "30", month = "mar" }