T. Zamir, R. Stern, and M. Kalech, “Using Model-Based Diagnosis to Improve Software Testing”, AAAI, vol. 28, no. 1, Jun. 2014.