JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP
No abstract available.
Related papers
- A Simple and Practical Approach to Unit Testing: The JML and JUnit Way ECOOP 2002
- A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java CAV 2007
- Extending JML for Modular Specification and Verification of Multi-threaded Programs ECOOP 2005
- A Bytecode Logic for JML and Types APLAS 2006
- The LOOP Compiler for Java and JML TACAS 2001
- CHASE: A Static Checker for JML's Assignable Clause VMCAI 2003
- Behavioral Subtyping, Specification Inheritance, and Modular Reasoning TOPLAS 2015
- Safely creating correct subclasses without seeing superclass code OOPSLA 2000