Extended static checking for Java
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
A Case Study in JML-Based Software Validation
Proceedings of the 19th IEEE international conference on Automated software engineering
An overview of JML tools and applications
International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
Adapting Legacy Home Appliances to Home Network Systems UsingWeb Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Early detection of JML specification errors using ESC/Java2
Proceedings of the 2006 conference on Specification and verification of component-based systems
Mastering combinatorial explosion with the tobias-2 test generator
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
The Why/Krakatoa/Caduceus platform for deductive program verification
CAV'07 Proceedings of the 19th international conference on Computer aided verification
JACK: a tool for validation of security and behaviour of Java applications
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Jartege: a tool for random generation of unit tests for java classes
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Model-Based filtering of combinatorial test suites
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Test suite selection based on traceability annotations
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
What good are strong specifications?
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
Testing and verification are two activities which have the same objective: to ensure software dependability. In the Java context, the Java Modelling Language (JML) has been proposed as specification language. It can be used both for verification and test. Usually, the JML specification is designed with a specific purpose: test or verification. This article addresses the question of reusability of a JML specification provided for one activity (resp. verification or test) in the other context (resp. test or verification). Two different case studies are considered.