Elmishali, A.; Stern, R.; Kalech, M. Data-Augmented Software Diagnosis. AAAI 2016, 30, 4003-4009.