Representing Program Debugging As Constraint Satisfaction Problem | AMiner