On the Complexity of Program Debugging Using Constraints for Modeling the Program s Syntax and Semantics

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]

Authors

Franz Wotawa

This author has not been identified. Look up 'Franz Wotawa' in Google

Jörg Weber

This author has not been identified. Look up 'Jörg Weber' in Google

Mihai Nica

This author has not been identified. Look up 'Mihai Nica' in Google

Rafael Ceballos

This author has not been identified. Look up 'Rafael Ceballos' in Google