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]
@inproceedings{WotawaWNC09,
title = {On the Complexity of Program Debugging Using Constraints for Modeling the Program s Syntax and Semantics},
author = {Franz Wotawa and Jörg Weber and Mihai Nica and Rafael Ceballos},
year = {2009},
doi = {10.1007/978-3-642-14264-2_3},
url = {http://dx.doi.org/10.1007/978-3-642-14264-2_3},
tags = {semantics, modeling, constraints, debugging},
researchr = {https://researchr.org/publication/WotawaWNC09},
cites = {0},
citedby = {0},
pages = {22-31},
booktitle = {Current Topics in Artificial Intelligence, 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers},
editor = {Pedro Meseguer and Lawrence Mandow and Rafael M. Gasca},
volume = {5988},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-14263-5},
}