Representing Program Debugging as Constraint Satisfaction Problem

Mihai Nica, Iulia Moraru, Franz Wotawa

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

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

Conference

ConferenceNordic Workshop on Programming Theory
CountryDenmark
CityCopenhagen(Lyngby), Dänemark
Period14/10/0916/10/09

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Cite this

Nica, M., Moraru, I., & Wotawa, F. (Accepted/In press). Representing Program Debugging as Constraint Satisfaction Problem. In 21st Nordic Workshop on Programming Theory Lyngby, Dänemark: 21st Nordic Workshop on Programming Theory.

Representing Program Debugging as Constraint Satisfaction Problem. / Nica, Mihai; Moraru, Iulia; Wotawa, Franz.

21st Nordic Workshop on Programming Theory. Lyngby, Dänemark : 21st Nordic Workshop on Programming Theory, 2009.

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

Nica, M, Moraru, I & Wotawa, F 2009, Representing Program Debugging as Constraint Satisfaction Problem. in 21st Nordic Workshop on Programming Theory. 21st Nordic Workshop on Programming Theory, Lyngby, Dänemark, Nordic Workshop on Programming Theory, Copenhagen(Lyngby), Dänemark, Denmark, 14/10/09.
Nica M, Moraru I, Wotawa F. Representing Program Debugging as Constraint Satisfaction Problem. In 21st Nordic Workshop on Programming Theory. Lyngby, Dänemark: 21st Nordic Workshop on Programming Theory. 2009
Nica, Mihai ; Moraru, Iulia ; Wotawa, Franz. / Representing Program Debugging as Constraint Satisfaction Problem. 21st Nordic Workshop on Programming Theory. Lyngby, Dänemark : 21st Nordic Workshop on Programming Theory, 2009.
@inproceedings{0ee2b290759e41b6b228a6ceb5bb42d4,
title = "Representing Program Debugging as Constraint Satisfaction Problem",
author = "Mihai Nica and Iulia Moraru and Franz Wotawa",
year = "2009",
language = "English",
booktitle = "21st Nordic Workshop on Programming Theory",
publisher = "21st Nordic Workshop on Programming Theory",

}

TY - GEN

T1 - Representing Program Debugging as Constraint Satisfaction Problem

AU - Nica, Mihai

AU - Moraru, Iulia

AU - Wotawa, Franz

PY - 2009

Y1 - 2009

UR - http://www2.imm.dtu.dk/projects/nwpt09/

M3 - Conference contribution

BT - 21st Nordic Workshop on Programming Theory

PB - 21st Nordic Workshop on Programming Theory

CY - Lyngby, Dänemark

ER -