Representing Program Debugging as Constraint Satisfaction Problem

Mihai Nica, Iulia Moraru, Franz Wotawa

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

Original languageEnglish
Title of host publication21st Nordic Workshop on Programming Theory
Place of PublicationLyngby, Dänemark
Publication statusAccepted/In press - 2009
EventNordic Workshop on Programming Theory - Copenhagen(Lyngby), Dänemark, Denmark
Duration: 14 Oct 200916 Oct 2009


ConferenceNordic Workshop on Programming Theory
CityCopenhagen(Lyngby), Dänemark

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Cite this