A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
- 29 May 2002
- book chapter
- Published by Springer Nature
- p. 231-255
- https://doi.org/10.1007/3-540-47993-7_10
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- A Logic for the Java Modeling Language JMLPublished by Springer Nature ,2001
- Enhancing the pre- and postcondition technique for more expressive specificationsPublished by Springer Nature ,1999
- JML: A Notation for Detailed DesignPublished by Springer Nature ,1999
- jContractor: A Reflective Java Library to Support Design By ContractPublished by Springer Nature ,1999
- Issues in the full scale use of formal methods for automated testingACM SIGSOFT Software Engineering Notes, 1996
- A practical approach to programming with assertionsIEEE Transactions on Software Engineering, 1995
- ADL—an interface definition language for specifying and testing softwareACM SIGPLAN Notices, 1994
- Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parametersIEEE Transactions on Software Engineering, 1994
- Specification and testing of abstract data typesComputer Languages, 1992
- Software testing based on formal specifications: a theory and a toolSoftware Engineering Journal, 1991