Tests and Proofs

Description

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. Front Matter ....Pages I-XIV Front Matter ....Pages 1-1 Tests from Witnesses (Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig)....Pages 3-23 Front Matter ....Pages 25-25 An Approximation-Based Approach for the Random Exploration of Large Models (Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko)....Pages 27-43 Static and Dynamic Verification of Relational Properties on Self-composed C Code (Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot)....Pages 44-62 Under-Approximation Generation Driven by Relevance Predicates and Variants (J. Julliand, O. Kouchnarenko, P.-A. Masson, G. Voiron)....Pages 63-82 Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties (Mihai Herda, Shmuel Tyszberowicz, Bernhard Beckert)....Pages 83-102 Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL (Chantal Keller)....Pages 103-119 Verification Coverage for Combining Test and Proof (Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels)....Pages 120-138 Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report (Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles)....Pages 139-156 Front Matter ....Pages 157-157 Formalizing (Web) Standards (Achim D. Brucker, Michael Herzberg)....Pages 159-166 Automated Test Case Generation for Java EE Based Web Applications (Andreas Fuchs)....Pages 167-176 Ghosts for Lists: From Axiomatic to Executable Specifications (Frédéric Loulergue, Allan Blanchard, Nikolai Kosmatov)....Pages 177-184 Back Matter ....Pages 185-185