Automatic Fault Localization for Property Checking

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
Jobstmann, B. (Attendee / Assistant), Bloem, R. (Project manager), Pill, I. H. (Attendee / Assistant), Griesmayer, A. (Attendee / Assistant) & Staber, S. S. (Attendee / Assistant)
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",

address = "United States",

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

}