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

by Y Cheon, G T Leavens
Venue:In Proc. European Conference on Object-Oriented Programming (ECOOP