default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th TAP 2014: York, UK
- Martina Seidl, Nikolai Tillmann:
Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings. Lecture Notes in Computer Science 8570, Springer 2014, ISBN 978-3-319-09098-6 - Bernhard K. Aichernig
, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt:
Model-Based Mutation Testing of an Industrial Measurement Device. 1-19 - Nada Amin, K. Rustan M. Leino, Tiark Rompf:
Computing with an SMT Solver. 20-35 - Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
An Abstraction Technique for Testing Decomposable Systems by Model Checking. 36-52 - Sébastien Bardin, Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov:
An All-in-One Toolkit for Automated White-Box Testing. 53-60 - Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Rolf Drechsler:
Behaviour Driven Development for Tests and Verification. 61-77 - Sebastian Gabmeyer:
Quality Assurance in MBE Back and Forth. 78-81 - Martin Hentschel, Reiner Hähnle, Richard Bubel:
Visualizing Unbounded Symbolic Execution. 82-98 - Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. 99-116 - Ali Jannesari, Nico Koprowski, Jochen Schimmel, Felix Wolf:
Generating Classified Parallel Unit Tests. 117-133 - Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller:
JTACO: Test Execution for Faster Bounded Verification. 134-141 - Johannes Kanig, Roderick Chapman, Cyrille Comar, Jérôme Guitton, Yannick Moy, Emyr Rees:
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. 142-157 - Nikolai Kosmatov, Matthieu Lemerre, Céline Alec:
A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing. 158-164 - Nikolai Kosmatov, Julien Signoles:
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis. 165-168 - Felix Kurth, Sibylle Schupp, Stephan Weißleder:
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers. 169-186 - Kari Kähkönen, Keijo Heljanko:
Lightweight State Capturing for Automated Testing of Multithreaded Programs. 187-203 - Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand:
How Test Generation Helps Software Specification and Deductive Verification in Frama-C. 204-211
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 2026-07-14 00:31 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
