5 Références
Site de JML :
http://www.cs.iastate.edu/~leavens/JML.html
Les documents suivants sont accessibles sur le site de JML.
- [BCC+03]
-
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael Ernst, Joe Kiniry, Gary T.
Leavens, K. Rustan, M. Leino, and Erik Poll.
An overview of jml tools and applications.
Technical Report NIII-R0309, Department of Computer Science,
University of Nijmegen, March 2003.
- [CL02]
-
Yoonsik Cheon and Gary T. Leavens.
A simple and practical approach to unit testing: The jml and junit
way.
In Boris Magnusson (ed.), ECOOP 2002 -- Object-Oriented
Programming, 16th European Conference, Malaga, Spain, June 2002, number 2374
in Lecture Notes in Computer Science, pages 231-255. Springer-Verlag, 2002.
- [LBR03]
-
Gary T. Leavens, Albert L. Baker, and Clyde Ruby.
Preliminary Design of JML: A Behavioral Interface Specification
Language for Java.
Department of Computer Science, Iowa State University, 1998-2003.
- [LPC+03]
-
Gary T. Leavens, Erik Poll, Curtis Clifton, Yoonsik Cheon, and Clyde Ruby.
JML Reference Manual.
(Draft), April 2003.
Site de JUnit : http://www.junit.org
Version HTML de ce document :
http://www-lsr.imag.fr/Les.Personnes/Catherine.Oriat/TutorielJML/
Version postscript de ce document :
http://www-lsr.imag.fr/Les.Personnes/Catherine.Oriat/TutorielJML/tutoriel.ps