| 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 7 (3), 212-232, 2005 | 857 | 2005 |
| 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 | 420 | 2002 |
| 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 | 334 | 2003 |
| Design by Contract with JML GT Leavens, Y Cheon | 245 | 2006 |
| A runtime assertion checker for the Java Modeling Language (JML) Y Cheon, GT Leavens Proceedings of the International Conference on Software Engineering Research …, 2002 | 236 | 2002 |
| JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, J Kiniry | 178 | 2004 |
| How the design of JML accommodates both runtime assertion checking and formal verification GT Leavens, Y Cheon, C Clifton, C Ruby, DR Cok Science of Computer Programming 55 (1-3), 185-208, 2005 | 168 | 2005 |
| Model variables: Cleanly supporting abstraction in design by contract Y Cheon, G Leavens, M Sitaraman, S Edwards Software: Practice and Experience 35 (6), 583-599, 2005 | 156 | 2005 |
| A runtime assertion checker for the Java Modeling Language Y Cheon Iowa State University, 2003 | 133 | 2003 |
| JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ... | 105 | 2008 |
| How the design of JML accommodates both runtime assertion checking and formal verification GT Leavens, Y Cheon, C Clifton, C Ruby, DR Cok International Symposium on Formal Methods for Components and Objects, 262-284, 2002 | 103 | 2002 |
| A complete automation of unit testing for Java programs Y Cheon, MY Kim, A Perumandla | 79 | 2005 |
| Larch/C++ reference manual GT Leavens, Y Cheon Version 5 (1), 1997 | 60 | 1997 |
| The Larch/Smalltalk interface specification language Y Cheon, GT Leavens ACM Transactions on Software Engineering and Methodology (TOSEM) 3 (3), 221-153, 1994 | 60 | 1994 |
| A quick overview of Larch/C++ Y Cheon, GT Leavens JOOP 7 (6), 39-49, 1994 | 56 | 1994 |
| Specifying and checking method call sequences of Java programs Y Cheon, A Perumandla Software Quality Journal 15 (1), 7-25, 2007 | 55 | 2007 |
| PWiseGen: Generating test cases for pairwise testing using genetic algorithms P Flores, Y Cheon 2011 IEEE International Conference on Computer Science and Automation …, 2011 | 54 | 2011 |
| Random test data generation for Java classes annotated with JML specifications Y Cheon, CE Rubio-Medrano | 46 | 2007 |
| Automated random testing to detect specification-code inconsistencies Y Cheon | 45 | 2007 |
| JML reference manual. Department of Computer Science, Iowa State University GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, DR Cok, P Müller, ... | 45 | 2006 |
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
