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

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Originalsprache	englisch
Seiten (von - bis)	390-407
Fachzeitschrift	The journal of logic and algebraic programming
Jahrgang	81
Ausgabenummer	4
Publikationsstatus	Veröffentlicht - 2012

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)

Andere Dateien und Links

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

Softnet II - Softnet Austria II Competence Network in Next Generation Software Engineering
Wotawa, F.
1/03/10 → 28/02/13
Projekt: Forschungsprojekt

Dieses zitieren

@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)

Andere Dateien und Links

Projekte

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

Dieses zitieren