Jian Zhang Feifei Ma Zhiqiang Zhang Faulty Interaction Identification via Constraint Solving and Optimization. 186-199 2012 SAT http://dx.doi.org/10.1007/978-3-642-31612-8_15 conf/sat/2012 db/conf/sat/sat2012.html#ZhangMZ12