| 1 | -- | 0 | Roderick Bloem, Marco Roveri, Fabio Somenzi. Preface |
| 3 | -- | 7 | John Moondanos. From Error to Error: Logic Debugging in the Many-Core Era |
| 9 | -- | 18 | Alper Sen. Error Diagnosis in Equivalence Checking of High Performance Microprocessors |
| 19 | -- | 35 | Lionel van den Berg, Paul A. Strooper, Wendy Johnston. An Automated Approach for the Interpretation of Counter-Examples |
| 37 | -- | 54 | Jooyong Lee. Dynamic Reverse Code Generation for Backward Execution |
| 55 | -- | 59 | Andreas Zeller. Where Do Bugs Come From? |
| 61 | -- | 82 | Wolfgang Mayer, Markus Stumptner. Model-Based Debugging - State of the Art And Future Challenges |
| 83 | -- | 93 | Irith Pomeranz, Sudhakar M. Reddy. On the Use of Functional Test Generation in Diagnostic Test Generation for Synchronous Sequential Circuits |
| 95 | -- | 111 | Andreas Griesmayer, Stefan Staber, Roderick Bloem. Automated Fault Localization for C Programs |
| 113 | -- | 116 | Martin C. Rinard. Automated Techniques for Surviving (Otherwise) Fatal Software Errors |
| 117 | -- | 130 | Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter. A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols |