1. Tests and Proofs

   • Bernhard Beckert
   • Reiner Hähnle

   OriginalPaper 23 April 2010 Pages: 327 - 329

2. A Formal Logic Approach to Constrained Combinatorial Testing

   • Andrea Calvagna
   • Angelo Gargantini

   OriginalPaper 22 April 2010 Pages: 331 - 358

3. Automated Flaw Detection in Algebraic Specifications

   • Andriy Dunets
   • Gerhard Schellhorn
   • Wolfgang Reif

   OriginalPaper 29 January 2010 Pages: 359 - 395

4. Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting

   • Damiano Angeletti
   • Enrico Giunchiglia
   • Salvatore Sabina

   OriginalPaper 29 April 2010 Pages: 397 - 414

5. Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies

   • Lydie du Bousquet
   • Yves Ledru
   • Jean-Louis Lanet

   OriginalPaper 02 June 2009 Pages: 415 - 435

6. Proof-Guided Test Selection from First-Order Specifications with Equality

   • Delphine Longuet
   • Marc Aiguier
   • Pascale Le Gall

   OriginalPaper 15 April 2009 Pages: 437 - 473