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

Franz Wotawa; Mihai Nica; Iulia-Dana Nica

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

Franz Wotawa, Mihai Nica, Iulia-Dana Nica

Institute of Software Technology (7160)

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	390-407
Journal	The journal of logic and algebraic programming
Volume	81
Issue number	4
Publication status	Published - 2012

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)

Cite this

@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

SN - 1567-8326

VL - 81

SP - 390

EP - 407

JO - The journal of logic and algebraic programming

JF - The journal of logic and algebraic programming

IS - 4

ER -

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

Fields of Expertise

Treatment code (Nähere Zuordnung)

Other files and links

Softnet II - Softnet Austria II Competence Network in Next Generation Software Engineering

Cite this

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

Fields of Expertise

Treatment code (Nähere Zuordnung)

Other files and links

Projects

Softnet II - Softnet Austria II Competence Network in Next Generation Software Engineering

Cite this