Automated debugging based on a constraint model of the program and a test case

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)390-407
JournalThe journal of logic and algebraic programming
Volume81
Issue number4
Publication statusPublished - 2012

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Automated debugging based on a constraint model of the program and a test case. / Wotawa, Franz; Nica, Mihai; Nica, Iulia-Dana.

In: The journal of logic and algebraic programming, Vol. 81, No. 4, 2012, p. 390-407.

Research output: Contribution to journalArticleResearchpeer-review

@article{1a47a9206f4b49918d6cc817b94bcd19,
title = "Automated debugging based on a constraint model of the program and a test case",
author = "Franz Wotawa and Mihai Nica and Iulia-Dana Nica",
year = "2012",
language = "English",
volume = "81",
pages = "390--407",
journal = "The journal of logic and algebraic programming",
issn = "1567-8326",
publisher = "Elsevier Inc.",
number = "4",

}

TY - JOUR

T1 - Automated debugging based on a constraint model of the program and a test case

AU - Wotawa, Franz

AU - Nica, Mihai

AU - Nica, Iulia-Dana

PY - 2012

Y1 - 2012

UR - http://dx.doi.org/10.1016/j.jlap.2012.03.002

M3 - Article

VL - 81

SP - 390

EP - 407

JO - The journal of logic and algebraic programming

JF - The journal of logic and algebraic programming

SN - 1567-8326

IS - 4

ER -