Abstract is missing.
- Incremental Refinement Checking for Test Case GenerationBernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele. 1-19 [doi]
- Time for Mutants - Model-Based Mutation Testing with Timed AutomataBernhard K. Aichernig, Florian Lorber, Dejan Nickovic. 20-38 [doi]
- Model-Based Testing for Verification Back-EndsCyrille Artho, Armin Biere, Martina Seidl. 39-55 [doi]
- A Metric for Testing Program Verification SystemsBernhard Beckert, Thorsten Bormer, Markus Wagner 0007. 56-75 [doi]
- Test Program Generation for a Microprocessor - A Case-StudyAchim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff. 76-95 [doi]
- A Declarative Debugger for Sequential Erlang ProgramsRafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit. 96-114 [doi]
- Initiating a Benchmark for UML and OCL Analysis ToolsMartin Gogolla, Fabian Büttner, Jordi Cabot. 115-132 [doi]
- Speeding Up Algorithmic Debugging Using Balanced Execution TreesDavid Insa, Josep Silva, Adrián Riesco. 133-151 [doi]
- Generating Test Suites with Augmented Dynamic Symbolic ExecutionKonrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux. 152-167 [doi]
- A Lesson on Proof of Programs with Frama-C. Invited Tutorial PaperNikolai Kosmatov, Virgile Prevosto, Julien Signoles. 168-177 [doi]
- Evaluation of ASLan Mutation OperatorsJohan Oudinet, Alberto Calvi, Matthias Büchler. 178-196 [doi]
- Solving Constraints for Generational SearchDaniel Pötzl, Andreas Holzer. 197-213 [doi]
- Divergent Quiescent Transition SystemsWillem Gerrit Johan Stokkink, Mark Timmer, Mariëlle Stoelinga. 214-231 [doi]