A. Elmishali, R. Stern, and M. Kalech, “Data-Augmented Software Diagnosis”, AAAI, vol. 30, no. 2, pp. 4003-4009, Feb. 2016.