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

by Yoonsik Cheon , Gary T. Leavens , Yoonsik Cheon , Gary T. Leavens
Venue:ECOOP 2002, volume 2374 of LNCS
Citations:115 - 22 self