@techreport{weko_146165_1, author = "原,侑也 and 山崎,紘史 and 細川,利典 and 吉村,正義", title = "静的テスト圧縮のための多重目標故障テスト生成を用いたMパイNアルゴリズム", year = "2015", institution = "日本大学大学院生産工学研究科, 日本大学生産工学部, 日本大学生産工学部, 京都産業大学コンピュータ理工学部", number = "39", month = "nov" }