|
Published Articles >> Table of Contents >> Abstract
19th IEEE International Conference on Automated Software Engineering (ASE'04)
pp. 294-297
A Case Study in JML-Based Software Validation
L. du Bousquet, LSR-IMAG, France
Y. Ledru, LSR-IMAG, France
O. Maury, LSR-IMAG, France
C. Oriat, LSR-IMAG, France
J.-L. Lanet, La Vigie, av. du Jujubier, France
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10000
Send link to a friend
| 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.
|
 Additional Information
|
Citation:
L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet,
"A Case Study in JML-Based Software Validation,"
ase,
pp. 294-297,
19th IEEE International Conference on Automated Software Engineering (ASE'04),
2004
|
|
