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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	13th Conference of the Spanish Association for Artificial Intelligence
Publisher	Springer
Publication status	Accepted/In press - 2009
Event	Conference of the Spanish Association for Artificial Intelligence (CAEPIA) - Sevilla, Spanien, Spain Duration: 9 Nov 2009 → 13 Nov 2009

Conference	Conference of the Spanish Association for Artificial Intelligence (CAEPIA)
Country/Territory	Spain
City	Sevilla, Spanien
Period	9/11/09 → 13/11/09

Treatment code (Nähere Zuordnung)

@inproceedings{8b0d65f7faf94552abfa60d6a88fc574,

title = "On the complexity of program debugging using constraints for modeling the program{\textquoteright}s syntax and semantics",

author = "Franz Wotawa and J{\"o}rg Weber and Mihai Nica and Rafael Ceballos",

year = "2009",

language = "English",

booktitle = "13th Conference of the Spanish Association for Artificial Intelligence",

publisher = "Springer",

note = "Conference of the Spanish Association for Artificial Intelligence (CAEPIA) ; Conference date: 09-11-2009 Through 13-11-2009",

}

TY - GEN

T1 - On the complexity of program debugging using constraints for modeling the program’s syntax and semantics

AU - Wotawa, Franz

AU - Weber, Jörg

AU - Nica, Mihai

AU - Ceballos, Rafael

PY - 2009

Y1 - 2009

UR - http://www.lsi.us.es/caepia09/index.php-lang=en.htm

M3 - Conference paper

BT - 13th Conference of the Spanish Association for Artificial Intelligence

PB - Springer

T2 - Conference of the Spanish Association for Artificial Intelligence (CAEPIA)

Y2 - 9 November 2009 through 13 November 2009

ER -