@techreport{weko_195179_1, author = "山崎,紘史 and 細川,利典 and 吉村,正義 and 新井,雅之 and 四柳,浩之 and 橋爪,正樹", title = "最大充足化問題を用いた抵抗性オープン故障に対するテスト生成法", year = "2019", institution = "日本大学生産工学部, 日本大学生産工学部, 京都産業大学情報理工学部, 日本大学生産工学部, 徳島大学大学院社会産業理工学研究部, 徳島大学大学院社会産業理工学研究部", number = "43", month = "mar" }