A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
No abstract available.
Related papers
- A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects ECOOP 2018
- JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP TACAS 2005
- Eclat: Automatic Generation and Classification of Test Inputs ECOOP 2005
- ChimpCheck: property-based randomized test generation for interactive apps Onward! 2017
- GAMBIT: effective unit testing for concurrency libraries PPoPP 2010
- Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM CAV 2023
- The axioms strike back: testing with concepts and axioms in C++ GPCE 2009
- Block Tests OOPSLA 2026