Automated Fault Localization for C Programs

Andreas Griesmayer, Stefan Simon Staber, Roderick Paul Bloem

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

Original languageEnglish
Title of host publicationWorkshop on Verification and Debugging
Publisher.
Pages82-99
Publication statusPublished - 2006
EventWorkshop on Verification and Debugging - Seattle, United States
Duration: 21 Aug 2006 → …

Conference

ConferenceWorkshop on Verification and Debugging
CountryUnited States
CitySeattle
Period21/08/06 → …

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Griesmayer, A., Staber, S. S., & Bloem, R. P. (2006). Automated Fault Localization for C Programs. In Workshop on Verification and Debugging (pp. 82-99). ..

Automated Fault Localization for C Programs. / Griesmayer, Andreas; Staber, Stefan Simon; Bloem, Roderick Paul.

Workshop on Verification and Debugging. ., 2006. p. 82-99.

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

Griesmayer, A, Staber, SS & Bloem, RP 2006, Automated Fault Localization for C Programs. in Workshop on Verification and Debugging. ., pp. 82-99, Workshop on Verification and Debugging, Seattle, United States, 21/08/06.
Griesmayer A, Staber SS, Bloem RP. Automated Fault Localization for C Programs. In Workshop on Verification and Debugging. . 2006. p. 82-99
Griesmayer, Andreas ; Staber, Stefan Simon ; Bloem, Roderick Paul. / Automated Fault Localization for C Programs. Workshop on Verification and Debugging. ., 2006. pp. 82-99
@inproceedings{2a3a3e95321f41938852b16c9e85d8ce,
title = "Automated Fault Localization for C Programs",
author = "Andreas Griesmayer and Staber, {Stefan Simon} and Bloem, {Roderick Paul}",
note = "Workshop on Verification and Debugging V&D",
year = "2006",
language = "English",
pages = "82--99",
booktitle = "Workshop on Verification and Debugging",
publisher = ".",

}

TY - GEN

T1 - Automated Fault Localization for C Programs

AU - Griesmayer, Andreas

AU - Staber, Stefan Simon

AU - Bloem, Roderick Paul

N1 - Workshop on Verification and Debugging V&D

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - 82

EP - 99

BT - Workshop on Verification and Debugging

PB - .

ER -