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:123 - 19 self

Documents Related by Co-Citation

390 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
181 JML: A Notation for Detailed Design – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1999
287 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
1440 Object-oriented Software Construction – Bertrand Meyer - 2004
163 Raymie Stata. Extended static checking for java – Cormac Flanagan, K Rustan M Leino, Mark Lillibridge, Greg Nelson, James B Saxe - 2002
115 A Simple and Practical Approach to Unit Testing: The JML and JUnit Way – Yoonsik Cheon, Gary T. Leavens, Yoonsik Cheon, Gary T. Leavens - 2002
430 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
109 iContract - the Java design by contract tool – R Kramer - 1998
185 Verification of Object-Oriented Programs with Invariants – Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte - 2004
71 How the design of JML accommodates both runtime assertion checking and formal verification – Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok - 2003
82 Eiffel: the language. Object-Oriented Series – Bertrand Meyer - 1992
93 The LOOP compiler for Java and JML – Joachim van den Berg, Bart Jacobs - 2001
1361 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
125 Object Invariants in Dynamic Contexts – K. Rustan M. Leino, Peter Müller
54 A Logic for the Java Modeling Language JML – Bart Jacobs, Erik Poll - 2001
292 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
519 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
152 Test-infected: Programmers love writing tests – K Beck, E Gamma - 1998
62 Java Program Verification via a Hoare Logic with Abrupt Termination – Marieke Huisman, Bart Jacobs - 2000