Using Model-Based Diagnosis to Improve Software Testing.

Tom Zamir, Roni Tzvi Stern, Meir Kalech

Browse the full AAAI paper archive.