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 Automatic Reasoning, Special issue on Tests and Proofs, 45(4):415-435, 2010.
@article{JAR09,
Author = {du Bousquet, Lydie and Ledru, Yves and Maury, Olivier and Oriat, Catherine and Lanet, Jean-Louis},
Title = {Reusing a {JML} specification dedicated to verification for testing, and vice-versa: case studies},
Journal = {Journal of Automatic Reasoning, Special issue on Tests and Proofs},
Volume = {45},
Number = {4},
Pages = {415--435},
Year = {2010}
}
Get EndNote Reference (.ref)