 | 2008 |
|---|
| 5 |       | Görschwin Fey,
Stefan Staber,
Roderick Bloem,
Rolf Drechsler:
Automatic Fault Localization for Property Checking.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(6): 1138-1149 (2008) |
| 2007 |
|---|
| 4 | | Stefan Staber,
Roderick Bloem:
Fault Localization and Correction with QBF.
SAT 2007: 355-368 |
| 3 | | Andreas Griesmayer,
Stefan Staber,
Roderick Bloem:
Automated Fault Localization for C Programs.
Electr. Notes Theor. Comput. Sci. 174(4): 95-111 (2007) |
| 2006 |
|---|
| 2 | | Stefan Staber,
Görschwin Fey,
Roderick Bloem,
Rolf Drechsler:
Automatic Fault Localization for Property Checking.
Haifa Verification Conference 2006: 50-64 |
| 2005 |
|---|
| 1 | | Stefan Staber,
Barbara Jobstmann,
Roderick Bloem:
Finding and Fixing Faults.
CHARME 2005: 35-49 |
