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

by Y Cheon, G T Leavens
Venue:In Proceedings of the 16th European Conference on Object-Oriented Programming