"Software debugging and testing using the abstract diagnosis theory."

Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics