Abstract is missing.
- Model-Based Mutation Testing of an Industrial Measurement DeviceBernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt. 1-19 [doi]
- Computing with an SMT Solver Nada Amin, K. Rustan M. Leino, Tiark Rompf. 20-35 [doi]
- An Abstraction Technique for Testing Decomposable Systems by Model CheckingPaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 36-52 [doi]
- An All-in-One Toolkit for Automated White-Box TestingSébastien Bardin, Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. 53-60 [doi]
- Behaviour Driven Development for Tests and VerificationMelanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Rolf Drechsler. 61-77 [doi]
- Quality Assurance in MBE Back and ForthSebastian Gabmeyer. 78-81 [doi]
- Visualizing Unbounded Symbolic ExecutionMartin Hentschel, Reiner Hähnle, Richard Bubel. 82-98 [doi]
- Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral ModelsFrank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille. 99-116 [doi]
- Generating Classified Parallel Unit TestsAli Jannesari, Nico Koprowski, Jochen Schimmel, Felix Wolf. 117-133 [doi]
- JTACO: Test Execution for Faster Bounded VerificationAlexander Kampmann, Juan Pablo Galeotti, Andreas Zeller. 134-141 [doi]
- Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program VerificationJohannes Kanig, Rod Chapman, Cyrille Comar, Jérôme Guitton, Yannick Moy, Emyr Rees. 142-157 [doi]
- A Case Study on Verification of a Cloud Hypervisor by Proof and Structural TestingNikolai Kosmatov, Matthieu Lemerre, Céline Alec. 158-164 [doi]
- Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial SynopsisNikolai Kosmatov, Julien Signoles. 165-168 [doi]
- Generating Test Data from a UML Activity Using the AMPL Interface for Constraint SolversFelix Kurth, Sibylle Schupp, Stephan Weißleder. 169-186 [doi]
- Lightweight State Capturing for Automated Testing of Multithreaded ProgramsKari Kähkönen, Keijo Heljanko. 187-203 [doi]
- How Test Generation Helps Software Specification and Deductive Verification in Frama-CGuillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. 204-211 [doi]