A case study in JML-based software validation

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations

Software Maintenance, Program Checking, Engineering +18

Preliminary design of JML

Gary T. Leavens, Albert L. Baker, Clyde Ruby · ACM SIGSOFT Software Engineering Notes · 2006 · 781 citations

Engineering, Java Expressions, Verification +24

An Evaluation of Random Testing

Joe W. Duran, Simeon Ntafos · IEEE Transactions on Software Engineering · 1984 · 680 citations

Engineering, Partition Testing, Verification +19

An overview of JML tools and applications1 1www.jmlspecs.org

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · Electronic Notes in Theoretical Computer Science · 2003 · 205 citations · Full text

Software Maintenance, Java Source Files, Engineering +25

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

Yoonsik Cheon · Iowa State University Digital Repository (Iowa State University) · 2001 · 69 citations