A runtime assertion checker for the Java Modeling Language (JML) (2002)

by Yoonsik Cheon , Gary T. Leavens
Venue:PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE (SERP ’02), LAS VEGAS
Citations:130 - 19 self

Documents Related by Co-Citation

395 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
184 JML: A Notation for Detailed Design – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1999
1465 Object-oriented Software Construction – Bertrand Meyer - 1988
290 An Overview of JML Tools and Applications – Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll - 2003
434 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
739 The B Book: Assigning Programs to Meanings – J R Abrial - 1996
645 Systematic Software Development Using VDM – C B Jones - 1986