4. TAP 2010: Málaga, Spain

Gordon Fraser, Angelo Gargantini (Eds.): Tests and Proofs, 4th International Conference, TAP 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

Koen Claessen, Nicholas Smallbone, John Hughes:
QuickSpec: Guessing Formal Specifications Using Testing. 6-21

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

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, Jacques Julliand:
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

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

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

Last update Tue May 21 00:55:09 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page