Franz Wotawa, Jörg Weber, Mihai Nica, Rafael Ceballos. On the Complexity of Program Debugging Using Constraints for Modeling the Program s Syntax and Semantics. In Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca, editors, Current Topics in Artificial Intelligence, 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers. Volume 5988 of Lecture Notes in Computer Science, pages 22-31, Springer, 2009. [doi]
Abstract is missing.