The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2004)
Linz, Austria
Sept. 20, 2004 to Sept. 24, 2004
ISSN: 1068-3062
ISBN: 0-7695-2131-2
pp: 294-297
Y. Ledru , LSR-IMAG, France
J.-L. Lanet , La Vigie, av. du Jujubier, France
O. Maury , LSR-IMAG, France
L. du Bousquet , LSR-IMAG, France
C. Oriat , LSR-IMAG, France
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.
INDEX TERMS
null
CITATION
Y. Ledru, J.-L. Lanet, O. Maury, L. du Bousquet, C. Oriat, "A Case Study in JML-Based Software Validation", 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), vol. 00, no. , pp. 294-297, 2004, doi:10.1109/ASE.2004.10000
326 ms
(Ver 3.3 (11022016))