@techreport{weko_178381_1, author = "磯田,誠 and 伊藤,益夫", title = "変更要求に対する論理的な影響範囲分析に基づくソフトウェア動作検証方式の提案", year = "2017", institution = "三菱電機(株)情報技術総合研究所, 三菱電機(株)情報技術総合研究所", number = "5", month = "mar" }