Issue 4/2010
Special Issue: Tests and Proofs / Guest Edited by Bernhard Beckert and Reiner Hähnle
Content (6 Articles)
Automated Flaw Detection in Algebraic Specifications
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
Proof-Guided Test Selection from First-Order Specifications with Equality
Delphine Longuet, Marc Aiguier, Pascale Le Gall