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 proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publication13th Conference of the Spanish Association for Artificial Intelligence
PublisherSpringer
Publication statusAccepted/In press - 2009
EventConference of the Spanish Association for Artificial Intelligence (CAEPIA) - Sevilla, Spanien, Spain
Duration: 9 Nov 200913 Nov 2009

Conference

ConferenceConference of the Spanish Association for Artificial Intelligence (CAEPIA)
CountrySpain
CitySevilla, Spanien
Period9/11/0913/11/09

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Cite this

Wotawa, F., Weber, J., Nica, M., & Ceballos, R. (Accepted/In press). On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. In 13th Conference of the Spanish Association for Artificial Intelligence Springer.

On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. / Wotawa, Franz; Weber, Jörg; Nica, Mihai; Ceballos, Rafael.

13th Conference of the Spanish Association for Artificial Intelligence. Springer, 2009.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Wotawa, F, Weber, J, Nica, M & Ceballos, R 2009, On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. in 13th Conference of the Spanish Association for Artificial Intelligence. Springer, Conference of the Spanish Association for Artificial Intelligence (CAEPIA), Sevilla, Spanien, Spain, 9/11/09.
Wotawa F, Weber J, Nica M, Ceballos R. On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. In 13th Conference of the Spanish Association for Artificial Intelligence. Springer. 2009
Wotawa, Franz ; Weber, Jörg ; Nica, Mihai ; Ceballos, Rafael. / On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. 13th Conference of the Spanish Association for Artificial Intelligence. Springer, 2009.
@inproceedings{8b0d65f7faf94552abfa60d6a88fc574,
title = "On the complexity of program debugging using constraints for modeling the program’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",

}

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 contribution

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

PB - Springer

ER -