default search action
4th TAP@TOOLS 2010: Málaga, Spain
- Gordon Fraser, Angelo Gargantini:
Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings. Lecture Notes in Computer Science 6143, Springer 2010, ISBN 978-3-642-13976-5
Invited Talks
- Michael D. Ernst:
How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. 1-2 - Nachiappan Nagappan:
Myths in Software Engineering: From the Other Side. 3-5
Specifications from Testing
- Koen Claessen, Nicholas Smallbone, John Hughes:
QuickSpec: Guessing Formal Specifications Using Testing. 6-21
Testing Proofs
- Ki Yung Ahn
, Ewen Denney:
Testing First-Order Logic Axioms in Program Verification. 22-37 - Martin Gogolla, Lars Hamann, Mirco Kuhlmann:
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. 38-54 - Lydie du Bousquet, Michel Lévy:
Proof Process Evaluation with Mutation Analysis. 55-60
Test Generation Using Proof Techniques
- Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai:
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. 61-76 - Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth:
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. 77-93 - Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti
Combining Static Analysis and Test Generation for C Program Debugging. 94-100 - Eugene Goldberg, Panagiotis Manolios
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding. 101-116
Theorem Proving and Testing
- Jasmin Christian Blanchette:
Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions. 117-134 - Vlad Rusu:
Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications. 135-150
Abstraction
- Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson:
Syntactic Abstraction of B Models to Generate Tests. 151-166 - Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet
Building a Test-Ready Abstraction of a Behavioral Model Using CLP. 167-182
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-11-27 20:17 CET 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: