Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies - Archive ouverte HAL
Article Dans Une Revue Journal of Automated Reasoning Année : 2010

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

Yves Ledru
Olivier Maury
Jean-Louis Lanet
  • Fonction : Auteur
  • PersonId : 918086
DMI

Dates et versions

hal-00587110 , version 1 (19-04-2011)

Identifiants

Citer

Lydie Du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet. Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. Journal of Automated Reasoning, 2010, 45 (4), pp.415-435. ⟨10.1007/s10817-009-9132-y⟩. ⟨hal-00587110⟩
78 Consultations
0 Téléchargements

Altmetric

Partager

More