Abstract is missing.
- The First Thirty Years: Experience with Software VerificationMichael A. Hennell. 1-3 [doi]
- Vacuity in TestingThomas Ball, Orna Kupferman. 4-17 [doi]
- What Can Fault Prediction Do for YOU?Elaine J. Weyuker, Thomas J. Ostrand. 18-29 [doi]
- Equivalence Checking for a Finite Higher Order pi-CalculusZining Cao. 30-47 [doi]
- Finding Counter Examples in Induction ProofsKoen Claessen, Hans Svensson. 48-65 [doi]
- A Logic-Based Approach to Combinatorial Testing with ConstraintsAndrea Calvagna, Angelo Gargantini. 66-83 [doi]
- Functional Testing in the Focal EnvironmentMatthieu Carlier, Catherine Dubois. 84-98 [doi]
- Bounded Relational Analysis of Free Data TypesAndriy Dunets, Gerhard Schellhorn, Wolfgang Reif. 99-115 [doi]
- Static Analysis Via Abstract Interpretation of the Happens-Before Memory ModelPietro Ferrara. 116-133 [doi]
- Pex-White Box Test Generation for .NETNikolai Tillmann, Jonathan de Halleux. 134-153 [doi]
- Non-termination Checking for Imperative ProgramsHelga Velroyen, Philipp Rümmer. 154-170 [doi]
- Parameterized Unit Testing with PexJonathan de Halleux, Nikolai Tillmann. 171-181 [doi]
- Integrating Verification and Testing of Object-Oriented SoftwareChristian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer. 182-191 [doi]