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: | 113 - 18 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 |
