On the use of Specification Knowledge in Program Debugging

Mihai Nica, Jörg Weber, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	20th International Workshop on Principles of Diagnosis
Erscheinungsort	LinKöping
Herausgeber (Verlag)	LinKöping Univeristy- Institute of Technology
Seiten	35-42
Publikationsstatus	Veröffentlicht - 2009
Veranstaltung	International Workshop on Principles of Diagnosis - Carcassonne, Frankreich Dauer: 23 Juni 2004 → 25 Juni 2004

Konferenz	International Workshop on Principles of Diagnosis
Land/Gebiet	Frankreich
Ort	Carcassonne
Zeitraum	23/06/04 → 25/06/04

Treatment code (Nähere Zuordnung)

@inproceedings{b2f65ea7fe224e2386de9d8668d42cb5,

title = "On the use of Specification Knowledge in Program Debugging",

author = "Mihai Nica and J{\"o}rg Weber and Franz Wotawa",

year = "2009",

language = "English",

pages = "35--42",

booktitle = "20th International Workshop on Principles of Diagnosis",

publisher = "LinK{\"o}ping Univeristy- Institute of Technology",

note = "International Workshop on Principles of Diagnosis ; Conference date: 23-06-2004 Through 25-06-2004",

}

TY - GEN

T1 - On the use of Specification Knowledge in Program Debugging

AU - Nica, Mihai

AU - Weber, Jörg

AU - Wotawa, Franz

PY - 2009

Y1 - 2009

UR - http://www.isy.liu.se/dx09/

UR - http://www.isy.liu.se/dx09/papers/proceedings-dx09.pdf

M3 - Conference paper

SP - 35

EP - 42

BT - 20th International Workshop on Principles of Diagnosis

PB - LinKöping Univeristy- Institute of Technology

CY - LinKöping

T2 - International Workshop on Principles of Diagnosis

Y2 - 23 June 2004 through 25 June 2004

ER -