Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister. Software debugging and testing using the abstract diagnosis theory. In Jan Vitek, Bjorn De Sutter, editors, Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011. pages 111-120, ACM, 2011. [doi]
Abstract is missing.