Title :
A case study in JML-based software validation
Author :
du Bousquet, L. ; Ledru, Y. ; Maury, O. ; Oriat, C. ; Lanet, Jean-Louis
Author_Institution :
LSR-IMAG
Abstract :
This paper reports on a testing case study applied to a small Java application, partially specified in JML. It illustrates that JML can easily be integrated with classical testing tools based on combinatorial techniques and random generation. It also reveals difficulties to reuse, in a testing context, JML annotations written for a proof process.
Keywords :
Automatic testing; Automation; Banking; Computer aided software engineering; Context modeling; Java; Lifting equipment; Smart cards; Specification languages; System testing;
Conference_Titel :
Automated Software Engineering, 2004. Proceedings. 19th International Conference on
Conference_Location :
Linz
Print_ISBN :
0-7695-2131-2
DOI :
10.1109/ASE.2004.1342750
