1. TAP 2007: Zurich, Switzerland

Yuri Gurevich, Bertrand Meyer (Eds.): Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Lecture Notes in Computer Science 4454 Springer 2007, ISBN 978-3-540-73769-8

Yannis Smaragdakis, Christoph Csallner:
Combining Static and Dynamic Reasoning for Bug Detection. 1-16
Jonathan S. Ostroff, Faraz Ahmadi Torshizi:
Testable Requirements and Specifications. 17-40
Philipp Rümmer, Muhammad Ali Shah:
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. 41-60
Ralph-Johan Back, Johannes Eriksson, Magnus Myreen:
Testing and Verifying Invariant Based Programs in the SOCOS Environment. 61-78
Qiao Haiyan:
Testing and Proving Distributed Algorithms in Constructive Type Theory. 79-94
Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh:
Automatic Testing from Formal Specifications. 95-113
Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller:
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. 114-130
Pascale Le Gall, Nicolas Rapin, Assia Touil:
Symbolic Execution Techniques for Refinement Testing. 131-148
Achim D. Brucker, Burkhart Wolff:
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. 149-168
Christian Engel, Reiner Hähnle:
Generating Unit Tests from Formal Proofs. 169-188
Angelo Gargantini:
Using Model Checking to Generate Fault Detecting Tests. 189-206
Bernhard Beckert, Christoph Gladisch:
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. 207-216