Test Set Generation for Multiple Faults in Boolean Systems using SAT Solver. - P. Partha Koundinya; Sai Krishna Reddy Y; V. Mani Deepak; K. Rutwesh; Anuj Deshpande (ICCCNT, 2021)