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

Yoonsik Cheon, Gary T. Leavens. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. In Boris Magnusson, editor, ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings. Volume 2374 of Lecture Notes in Computer Science, pages 231-255, Springer, 2002. [doi]

Abstract

Abstract is missing.