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

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00587110
Contributor : Yolande Vieceli <>
Submitted on : Tuesday, April 19, 2011 - 2:36:28 PM
Last modification on : Wednesday, November 14, 2018 - 11:20:09 AM

Links full text

Identifiers

Collections

Citation

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, Springer Verlag, 2010, 45 (4), pp.415-435. ⟨10.1007/s10817-009-9132-y⟩. ⟨hal-00587110⟩

Share

Metrics

Record views

149