| 2007 | Automatic Testing from Formal Specifications. Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh |
| 2007 | Combining Static and Dynamic Reasoning for Bug Detection. Yannis Smaragdakis, Christoph Csallner |
| 2007 | Generating Unit Tests from Formal Proofs. Christian Engel, Reiner Hähnle |
| 2007 | Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. Philipp Rümmer, Muhammad Ali Shah |
| 2007 | Symbolic Execution Techniques for Refinement Testing. Pascale Le Gall, Nicolas Rapin, Assia Touil |
| 2007 | Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. Achim D. Brucker, Burkhart Wolff |
| 2007 | Testable Requirements and Specifications. Jonathan S. Ostroff, Faraz Ahmadi Torshizi |
| 2007 | Testing and Proving Distributed Algorithms in Constructive Type Theory. Qiao Haiyan |
| 2007 | Testing and Verifying Invariant Based Programs in the SOCOS Environment. Ralph-Johan Back, Johannes Eriksson, Magnus Myreen |
| 2007 | Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers Yuri Gurevich, Bertrand Meyer |
| 2007 | Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. Lisa Ling Liu, Bertrand Meyer, Bernd Schoeller |
| 2007 | Using Model Checking to Generate Fault Detecting Tests. Angelo Gargantini |
| 2007 | White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. Bernhard Beckert, Christoph Gladisch |