| 2008 | A Logic-Based Approach to Combinatorial Testing with Constraints. Andrea Calvagna, Angelo Gargantini |
| 2008 | Bounded Relational Analysis of Free Data Types. Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
| 2008 | Equivalence Checking for a Finite Higher Order pi-Calculus. Zining Cao |
| 2008 | Finding Counter Examples in Induction Proofs. Koen Claessen, Hans Svensson |
| 2008 | Functional Testing in the Focal Environment. Matthieu Carlier, Catherine Dubois |
| 2008 | Integrating Verification and Testing of Object-Oriented Software. Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer |
| 2008 | Non-termination Checking for Imperative Programs. Helga Velroyen, Philipp Rümmer |
| 2008 | Parameterized Unit Testing with Pex. Jonathan de Halleux, Nikolai Tillmann |
| 2008 | Pex-White Box Test Generation for .NET. Nikolai Tillmann, Jonathan de Halleux |
| 2008 | Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. Pietro Ferrara |
| 2008 | Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings Bernhard Beckert, Reiner Hähnle |
| 2008 | The First Thirty Years: Experience with Software Verification. Michael A. Hennell |
| 2008 | Vacuity in Testing. Thomas Ball, Orna Kupferman |
| 2008 | What Can Fault Prediction Do for YOU?. Elaine J. Weyuker, Thomas J. Ostrand |