| Preliminary design of JML: A behavioral interface specification language for Java GT Leavens, AL Baker, C Ruby ACM SIGSOFT Software Engineering Notes 31 (3), 1-38, 2006 | 1180 | 2006 |
| An overview of JML tools and applications L Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ... International Journal on Software Tools for Technology Transfer (STTT) 7 (3 …, 2005 | 921 | 2005 |
| JML: A notation for detailed design G Leavens, A Baker, C Ruby KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 175-188, 1999 | 613 | 1999 |
| A simple and practical approach to unit testing: The JML and JUnit way Y Cheon, GT Leavens European Conference on Object-Oriented Programming, 231-255, 2002 | 482 | 2002 |
| Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface PK Agarwal, T Akutsu, A Amihood, A Apostolico, C Benham, G Benson, ... Lecture notes in computer science (including subseries lecture notes in …, 2005 | 444* | 2005 |
| MultiJava: Modular open classes and symmetric multiple dispatch for Java C Clifton, GT Leavens, C Chambers, T Millstein Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000 | 437 | 2000 |
| Beyond assertions: Advanced specification and verification with JML and ESC/Java2 P Chalin, J Kiniry, G Leavens, E Poll Formal Methods for Components and Objects, 342-363, 2006 | 365 | 2006 |
| An overview of JML tools and applications L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ... Electronic Notes in Theoretical Computer Science 80, 75-91, 2003 | 342 | 2003 |
| JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ... | 331 | 2008 |
| Forcing behavioral subtyping through specification inheritance KK Dhara, GT Leavens Proceedings of IEEE 18th International Conference on Software Engineering …, 1996 | 293 | 1996 |
| How the design of JML accommodates both runtime assertion checking and formal verification G Leavens, Y Cheon, C Clifton, C Ruby, D Cok Formal Methods for Components and Objects, 262-284, 2003 | 290 | 2003 |
| @ tcomment: Testing javadoc comments to detect comment-code inconsistencies SH Tan, D Marinov, L Tan, GT Leavens 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 268 | 2012 |
| Design by Contract with JML GT Leavens, Y Cheon | 264 | 2006 |
| JML (poster session) notations and tools supporting detailed design in Java GT Leavens, C Ruby, KRM Leino, E Poll, B Jacobs Addendum to the 2000 proceedings of the conference on Object-oriented …, 2000 | 257 | 2000 |
| Behavioral interface specification languages J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson A survey paper CS-TR-09-01, University of Central Florida, School of EECS, Draft, 2009 | 250 | 2009 |
| Foundations of component-based systems GT Leavens, M Sitaraman Cambridge University Press, 2000 | 243 | 2000 |
| A runtime assertion checker for the Java Modeling Language (JML) Y Cheon, G Leavens | 240 | 2002 |
| Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006 | 205 | 2006 |
| On binary methods K Bruce, L Cardelli, G Castagna, Hopkins Objects Group, GT Leavens, ... Theory and Practice of Object Systems 1 (3), 221-242, 1995 | 195 | 1995 |
| Specification and verification challenges for sequential object-oriented programs GT Leavens, KRM Leino, P Müller Formal Aspects of Computing 19 (2), 159-189, 2007 | 194 | 2007 |
Yoonsik CheonThe University of Texas at El PasoVerified email at utep.edu
