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

Document Versions

A runtime assertion checker for the Java Modeling Language (JML) –Yoonsik Cheon, Gary T. Leavens — 2002 — PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE (SERP ’02), LAS VEGAS
A Runtime Assertion Checker for the Java Modeling Language (JML) –Yoonsik Cheon, Yoonsik Cheon, Gary T. Leavens, Gary T. Leavens — 2002 — Proceedings of the International Conference on Software Engineering Research and Practice (SERP ’02), Las Vegas
A Runtime Assertion Checker for the Java Modeling Language –Yoonsik Cheon — 2003