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

by Yoonsik Cheon, Gary T Leavens
Venue:In ECOOP’02