Accepted Papers

Irith Pomeranz, Sudhakar Reddy
On the Use of Functional Test Generation in Diagnostic Test Generation for Synchronous Sequential Circuits

Juan Carlos López Pimentel, Raúl Monroy, and Dieter Hutter
A method for patching interleaving-replay attacks in faulty security protocols

Lionel van den Berg, Paul Strooper, and Wendy Johnston
An Automated Approach for the Interpretation of Counter-Examples

Andreas Griesmayer, Stefan Staber, and Roderick Bloem
Automated Fault Localization for C Programs

Wolfgang Mayer, Markus Stumptner
Model-Based Debugging -- State of the Art And Future Challenges

Jooyong Lee
Dynamic Reverse Code Generation for Backward Execution