Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th TAP@STAF 2018: Toulouse, France
- Catherine Dubois, Burkhart Wolff:
Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10889, Springer 2018, ISBN 978-3-319-92993-4
Invited Contribution
- Dirk Beyer
, Matthias Dangl, Thomas Lemberger, Michael Tautschnig:
Tests from Witnesses - Execution-Based Validation of Verification Results. 3-23
Regular Contributions
- Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko:
An Approximation-Based Approach for the Random Exploration of Large Models. 27-43 - Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot:
Static and Dynamic Verification of Relational Properties on Self-composed C Code. 44-62 - Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron:
Under-Approximation Generation Driven by Relevance Predicates and Variants. 63-82 - Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert:
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. 83-102 - Chantal Keller:
Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL. 103-119 - Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels:
Verification Coverage for Combining Test and Proof. 120-138 - Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles:
Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report. 139-156
Tool Demonstration and Short Papers
- Achim D. Brucker, Michael Herzberg:
Formalizing (Web) Standards - An Application of Test and Proof. 159-166 - Andreas Fuchs:
Automated Test Case Generation for Java EE Based Web Applications. 167-176 - Frédéric Loulergue, Allan Blanchard, Nikolai Kosmatov:
Ghosts for Lists: From Axiomatic to Executable Specifications. 177-184
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
