Abstract is missing.
- Tests from Witnesses - Execution-Based Validation of Verification ResultsDirk Beyer 0001, Matthias Dangl, Thomas Lemberger 0002, Michael Tautschnig. 3-23 [doi]
- An Approximation-Based Approach for the Random Exploration of Large ModelsJulien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko. 27-43 [doi]
- Static and Dynamic Verification of Relational Properties on Self-composed C CodeLionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot. 44-62 [doi]
- Under-Approximation Generation Driven by Relevance Predicates and VariantsJacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron. 63-82 [doi]
- Using Dependence Graphs to Assist Verification and Testing of Information-Flow PropertiesMihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert. 83-102 [doi]
- Tactic Program-Based Testing and Bounded Verification in Isabelle/HOLChantal Keller. 103-119 [doi]
- Verification Coverage for Combining Test and ProofViet-Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels. 120-138 [doi]
- Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience ReportKostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles. 139-156 [doi]
- Formalizing (Web) Standards - An Application of Test and ProofAchim D. Brucker, Michael Herzberg. 159-166 [doi]
- Automated Test Case Generation for Java EE Based Web ApplicationsAndreas Fuchs. 167-176 [doi]
- Ghosts for Lists: From Axiomatic to Executable SpecificationsFrédéric Loulergue, Allan Blanchard, Nikolai Kosmatov. 177-184 [doi]