Using Model-Based Diagnosis to Improve Software Testing. - Tom Zamir; Roni Tzvi Stern; Meir Kalech (AAAI, 2014)