A Multiple Target Test Generation Method for Gate-Exhaustive Faults to Reduce the Number of Test Patterns Using Partial MaxSAT. - Ryuki Asami; Toshinori Hosokawa; Masayoshi Yoshimura; Masayuki Arai (DFT, 2020)