Abstract is missing.
- Using Formal Methods for Verification and Validation in RailwayKlaus Reichl, Tomas Fischer, Peter Tummeltshammer. 3-13 [doi]
- Monadic Sequence Testing and Explicit Test-RefinementsAchim D. Brucker, Burkhart Wolff. 17-36 [doi]
- Advances in Property-Based Testing for \alpha PrologJames Cheney, Alberto Momigliano, Matteo Pessina. 37-56 [doi]
- Tests and Proofs for Enumerative CombinatoricsCatherine Dubois, Alain Giorgetti, Richard Genestier. 57-75 [doi]
- Classifying Test Suite Effectiveness via Model Inference and ROBBDsHermann Felbinger, Ingo Pill, Franz Wotawa. 76-93 [doi]
- Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model CheckersSebastian Gabmeyer, Martina Seidl. 94-111 [doi]
- Testing-Based Formal Verification for Theorems and Its Application in Software Specification VerificationShaoying Liu. 112-129 [doi]
- Your Proof Fails? Testing Helps to Find the ReasonGuillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand. 130-150 [doi]
- Classifying Bugs with InterpolantsAndreas Podelski, Martin Schäf, Thomas Wies. 151-168 [doi]
- Debugging Meets Testing in ErlangSalvador Tamarit, Adrián Riesco, Enrique Martin-Martin, Rafael Caballero. 171-180 [doi]
- Combining Dynamic and Static Analysis to Help Develop Correct Graph TransformationsAmani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker. 183-190 [doi]
- Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant!Franck Slama. 191-198 [doi]