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

Active Bibliography

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
289 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
57 Model Variables: Cleanly Supporting Abstraction in Design By Contract – Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards - 2003
54 Specification and verification challenges for sequential object-oriented programs – Gary T. Leavens, K. Rustan M. Leino, Peter Müller
Implementing JML Contracts with AspectJ – Henrique Emanuel Mostaert Rebêlo - 2008
8 The JML and JUnit Way of Unit Testing and its Implementation – Yoonsik Cheon, Yoonsik Cheon, Gary T. Leavens, Gary T. Leavens - 2004
15 Class Refinement as Semantics of Correct Object Substitutability – Ralph-Johan Back, Anna Mikhajlova, Joakim Von Wright
39 TestEra: Specification-based Testing of Java Programs Using SAT – Sarfraz Khurshid, Darko Marinov - 2004
36 Modular Data Structure Verification – Martin C. Rinard - 2007
14 Behavioral subtyping, specification inheritance, and modular reasoning – Gary T. Leavens, David A. Naumann
34 Pipa: A Behavioral Interface Specification Language for AspectJ – Jianjun Zhao, Martin Rinard - 2003
2 Executing Formal Specifications with Constraint Programming – Tim Wahls, Gary T. Leavens, Albert L. Baker - 1998
6 Class Refinement as Semantics of Correct Subclassing – Ralph Back, Anna Mikhajlova, Joakim Von Wright - 1997
6 TestEra: A Novel Framework for Testing Java Programs – Sarfraz Khurshid, Darko Marinov - 2003
26 An Overview of Larch/C++: Behavioral Specifications for C++ Modules – Gary T. Leavens - 1996
36 The Greybox Approach: When Blackbox Specifications Hide Too Much – Martin Büchi, Wolfgang Weck - 1999
2 JWalk: a Tool for Lazy, Systematic Testing of Java Classes by Design Introspection and User Interaction – Anthony J. H. Simons - 2007
6 Evaluating the ”Small Scope Hypothesis – Alexandr Andoni, Dumitru Daniliuc, Sarfraz Khurshid - 2003
32 Automatic Testing of Software with Structurally Complex Inputs – Darko Marinov - 2005