Faulty Interaction Identification via Constraint Solving and Optimization. - Zhang, Jian; Ma, Feifei; Zhang, Zhiqiang (2012)