Representing Program Debugging as Constraint Satisfaction Problem

Mihai Nica, Iulia Moraru, Franz Wotawa

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

Original language	English
Title of host publication	21st Nordic Workshop on Programming Theory
Place of Publication	Lyngby, Dänemark
Publication status	Accepted/In press - 2009
Event	Nordic Workshop on Programming Theory - Copenhagen(Lyngby), Dänemark, Denmark Duration: 14 Oct 2009 → 16 Oct 2009

Conference	Nordic Workshop on Programming Theory
Country/Territory	Denmark
City	Copenhagen(Lyngby), Dänemark
Period	14/10/09 → 16/10/09

Treatment code (Nähere Zuordnung)

@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",

note = "Nordic Workshop on Programming Theory ; Conference date: 14-10-2009 Through 16-10-2009",

}

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 paper

BT - 21st Nordic Workshop on Programming Theory

CY - Lyngby, Dänemark

T2 - Nordic Workshop on Programming Theory

Y2 - 14 October 2009 through 16 October 2009

ER -