A case study in JML-based software validation

Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004

Volumn , Issue , 2004, Pages 294-297

  Du Bousquet, L ^a   Ledru, Y ^a   Maury, O ^a   Oriat, C ^a   Lanet, J L ^b  

^a LSR Laboratory   (France)

^b GEMPLUS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL TECHNIQUES; JML ANNOTATIONS; SOFTWARE VALIDATION; TESTING TOOLS;

COMBINATORIAL MATHEMATICS; COMPUTER PROGRAMMING LANGUAGES; ERROR ANALYSIS; JAVA PROGRAMMING LANGUAGE; RANDOM PROCESSES; SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 15844380622     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2004.1342750     Document Type: Conference Paper

References (7)

1. L. Burdy, Y. Cheon, D. R. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An Overview of JML Tools and Applications. In FMICS'03, volume 80 of ENTCS, pages 73-89. Elsevier, 2003.
2. L. Burdy, A. Requet, and J.-L. Lanet. Java applet correctness: a developer-oriented approach. In the 12th International FME Symposium, Pisa, Italy, September 2003.
3. The Java Modeling Language (JML) Home Page. http://www.cs.iastate.edu/ leavens/JML.html.
4. JUnit. http://www.junit.org.
5. G. Leavens, A. Baker, and C. Ruby. JML: A notation for detailed design. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems. Kluwer, 1999.
6. Y. Ledru, L. du Bousquet, O. Maury, and P. Bontron. Filtering TOBIAS combinatorial test suites. In Fundamental Approaches to Software Engineering (FASE'04), volume 2984 of LNCS, Barcelona, 2004. Springer.
7. C. Oriat. Jartege, a tool for random generation of unit tests for Java classes. Technical Report RR1069, 2004.