Gregory M. Provan: Test Generation for Model-Based Diagnosis. ECAI 2008: 199-203