| 2008 | Pex-White Box Test Generation for .NET. | Nikolai Tillmann, Jonathan de Halleux |
| 2008 | The First Thirty Years: Experience with Software Verification. | Michael A. Hennell |
| 2008 | Parameterized Unit Testing with Pex. | Jonathan de Halleux, Nikolai Tillmann |
| 2008 | Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. | Pietro Ferrara |
| 2008 | Integrating Verification and Testing of Object-Oriented Software. | Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rmmer |
| 2008 | Bounded Relational Analysis of Free Data Types. | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
| 2008 | Finding Counter Examples in Induction Proofs. | Koen Claessen, Hans Svensson |
| 2008 | Functional Testing in the Focal Environment. | Matthieu Carlier, Catherine Dubois |
| 2008 | Equivalence Checking for a Finite Higher Order pi-Calculus. | Zining Cao |
| 2008 | A Logic-Based Approach to Combinatorial Testing with Constraints. | Andrea Calvagna, Angelo Gargantini |
| 2008 | Vacuity in Testing. | Thomas Ball, Orna Kupferman |
| 2007 | Combining Static and Dynamic Reasoning for Bug Detection. | Yannis Smaragdakis, Christoph Csallner |
| 2007 | Automatic Testing from Formal Specifications. | Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh |
| 2007 | Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. | Philipp Rmmer, Muhammad Ali Shah |
| 2007 | Testable Requirements and Specifications. | Jonathan S. Ostroff, Faraz Ahmadi Torshizi |
| 2007 | Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. | Lisa Ling Liu, Bertrand Meyer, Bernd Schoeller |
| 2007 | Testing and Proving Distributed Algorithms in Constructive Type Theory. | Qiao Haiyan |
| 2007 | Using Model Checking to Generate Fault Detecting Tests. | Angelo Gargantini |
| 2007 | Symbolic Execution Techniques for Refinement Testing. | Pascale Le Gall, Nicolas Rapin, Assia Touil |
| 2007 | Generating Unit Tests from Formal Proofs. | Christian Engel, Reiner Hhnle |
| 2007 | Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. | Achim D. Brucker, Burkhart Wolff |
| 2007 | White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. | Bernhard Beckert, Christoph Gladisch |
| 2007 | Testing and Verifying Invariant Based Programs in the SOCOS Environment. | Ralph-Johan Back, Johannes Eriksson, Magnus Myreen |