Automatic Fault Localization for Property Checking

Stefan Simon Staber, Goerschwin Fey, Roderick Paul Bloem, Rolf Drechsler

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

Original languageEnglish
Title of host publicationHaifa Verification Conference
PublisherSpringer
Publication statusAccepted/In press - 2006
EventHaifa Verification Conference - Haifa, Israel
Duration: 23 Oct 200626 Oct 2006

Conference

ConferenceHaifa Verification Conference
CountryIsrael
CityHaifa
Period23/10/0626/10/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Staber, S. S., Fey, G., Bloem, R. P., & Drechsler, R. (Accepted/In press). Automatic Fault Localization for Property Checking. In Haifa Verification Conference Springer.

Automatic Fault Localization for Property Checking. / Staber, Stefan Simon; Fey, Goerschwin; Bloem, Roderick Paul; Drechsler, Rolf.

Haifa Verification Conference. Springer, 2006.

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

Staber, SS, Fey, G, Bloem, RP & Drechsler, R 2006, Automatic Fault Localization for Property Checking. in Haifa Verification Conference. Springer, Haifa Verification Conference, Haifa, Israel, 23/10/06.
Staber SS, Fey G, Bloem RP, Drechsler R. Automatic Fault Localization for Property Checking. In Haifa Verification Conference. Springer. 2006
Staber, Stefan Simon ; Fey, Goerschwin ; Bloem, Roderick Paul ; Drechsler, Rolf. / Automatic Fault Localization for Property Checking. Haifa Verification Conference. Springer, 2006.
@inproceedings{153b1a293b074b9299352770474e9cee,
title = "Automatic Fault Localization for Property Checking",
author = "Staber, {Stefan Simon} and Goerschwin Fey and Bloem, {Roderick Paul} and Rolf Drechsler",
year = "2006",
language = "English",
booktitle = "Haifa Verification Conference",
publisher = "Springer",

}

TY - GEN

T1 - Automatic Fault Localization for Property Checking

AU - Staber, Stefan Simon

AU - Fey, Goerschwin

AU - Bloem, Roderick Paul

AU - Drechsler, Rolf

PY - 2006

Y1 - 2006

M3 - Conference contribution

BT - Haifa Verification Conference

PB - Springer

ER -