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 contribution

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