A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.

Yoonsik Cheon, Gary T. Leavens

Browse the full ECOOP paper archive.