Y. Liu and B. Li, “Automated Program Debugging Via Multiple Predicate Switching”, AAAI, vol. 24, no. 1, pp. 327–332, Jul. 2010.