On the use of Specification Knowledge in Program Debugging

Mihai Nica, Jörg Weber, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publication20th International Workshop on Principles of Diagnosis
Place of PublicationLinKöping
PublisherLinKöping Univeristy- Institute of Technology
Pages35-42
Publication statusPublished - 2009
EventInternational Workshop on Principles of Diagnosis - Carcassonne, France
Duration: 23 Jun 200425 Jun 2004

Conference

ConferenceInternational Workshop on Principles of Diagnosis
CountryFrance
CityCarcassonne
Period23/06/0425/06/04

Treatment code (Nähere Zuordnung)

  • Experimental
  • Theoretical

Cite this

Nica, M., Weber, J., & Wotawa, F. (2009). On the use of Specification Knowledge in Program Debugging. In 20th International Workshop on Principles of Diagnosis (pp. 35-42). LinKöping: LinKöping Univeristy- Institute of Technology.

On the use of Specification Knowledge in Program Debugging. / Nica, Mihai; Weber, Jörg; Wotawa, Franz.

20th International Workshop on Principles of Diagnosis. LinKöping : LinKöping Univeristy- Institute of Technology, 2009. p. 35-42.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Nica, M, Weber, J & Wotawa, F 2009, On the use of Specification Knowledge in Program Debugging. in 20th International Workshop on Principles of Diagnosis. LinKöping Univeristy- Institute of Technology, LinKöping, pp. 35-42, International Workshop on Principles of Diagnosis, Carcassonne, France, 23/06/04.
Nica M, Weber J, Wotawa F. On the use of Specification Knowledge in Program Debugging. In 20th International Workshop on Principles of Diagnosis. LinKöping: LinKöping Univeristy- Institute of Technology. 2009. p. 35-42
Nica, Mihai ; Weber, Jörg ; Wotawa, Franz. / On the use of Specification Knowledge in Program Debugging. 20th International Workshop on Principles of Diagnosis. LinKöping : LinKöping Univeristy- Institute of Technology, 2009. pp. 35-42
@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",

}

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 contribution

SP - 35

EP - 42

BT - 20th International Workshop on Principles of Diagnosis

PB - LinKöping Univeristy- Institute of Technology

CY - LinKöping

ER -