A simple and practical approach to unit testing: The JML and JUnit (2002)

by Yoonsik Cheon, Gary T Leavens
Venue:16th European Conference on Object-Oriented Programming — ECOOP’02, Malaga, Spain, number 2374 in Lecture Notes in Computer Science