2. TAP 2008: Prato, Italy

Bernhard Beckert, Reiner Hähnle (Eds.): Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. Lecture Notes in Computer Science 4966 Springer 2008, ISBN 978-3-540-79123-2 BibTeX

Invited Talks

Michael A. Hennell:
The First Thirty Years: Experience with Software Verification. 1-3
Electronic Edition (link) BibTeX
Thomas Ball, Orna Kupferman:
Vacuity in Testing. 4-17
Electronic Edition (link) BibTeX
Elaine J. Weyuker, Thomas J. Ostrand:
What Can Fault Prediction Do for YOU?. 18-29
Electronic Edition (link) BibTeX

Zining Cao:
Equivalence Checking for a Finite Higher Order pi-Calculus. 30-47
Electronic Edition (link) BibTeX
Koen Claessen, Hans Svensson:
Finding Counter Examples in Induction Proofs. 48-65
Electronic Edition (link) BibTeX
Andrea Calvagna, Angelo Gargantini:
A Logic-Based Approach to Combinatorial Testing with Constraints. 66-83
Electronic Edition (link) BibTeX
Matthieu Carlier, Catherine Dubois:
Functional Testing in the Focal Environment. 84-98
Electronic Edition (link) BibTeX
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif:
Bounded Relational Analysis of Free Data Types. 99-115
Electronic Edition (link) BibTeX
Pietro Ferrara:
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. 116-133
Electronic Edition (link) BibTeX
Nikolai Tillmann, Jonathan de Halleux:
Pex-White Box Test Generation for .NET. 134-153
Electronic Edition (link) BibTeX
Helga Velroyen, Philipp Rümmer:
Non-termination Checking for Imperative Programs. 154-170
Electronic Edition (link) BibTeX

Jonathan de Halleux, Nikolai Tillmann:
Parameterized Unit Testing with Pex. 171-181
Electronic Edition (link) BibTeX
Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer:
Integrating Verification and Testing of Object-Oriented Software. 182-191
Electronic Edition (link) BibTeX