Liu, Y.; Li, B. Automated Program Debugging Via Multiple Predicate Switching. AAAI 2010, 24, 327-332.