Automatic Fault Localization for Property Checking

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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Haifa Verification Conference
Publisher	Springer
Publication status	Accepted/In press - 2006
Event	Haifa Verification Conference - Haifa, Israel Duration: 23 Oct 2006 → 26 Oct 2006

Conference	Haifa Verification Conference
Country/Territory	Israel
City	Haifa
Period	23/10/06 → 26/10/06

Treatment code (Nähere Zuordnung)

EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Project: Research project

@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",

note = "Haifa Verification Conference ; Conference date: 23-10-2006 Through 26-10-2006",

}