Follow
Yoonsik Cheon
Title
Cited by
Cited by
Year
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
8652005
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
4242002
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
3352003
Design by Contract with JML
GT Leavens, Y Cheon
2472006
A runtime assertion checker for the Java Modeling Language (JML)
Y Cheon, GT Leavens
Proceedings of the International Conference on Software Engineering Research …, 2002
2342002
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, J Kiniry
1802004
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
1682005
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
1592005
A runtime assertion checker for the Java Modeling Language
Y Cheon
Iowa State University, 2003
1352003
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
1042008
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
1012002
A complete automation of unit testing for Java programs
Y Cheon, MY Kim, A Perumandla
792005
The Larch/Smalltalk interface specification language
Y Cheon, GT Leavens
ACM Transactions on Software Engineering and Methodology (TOSEM) 3 (3), 221-153, 1994
581994
Larch/C++ reference manual
GT Leavens, Y Cheon
Version 5 (1), 1997
571997
A quick overview of Larch/C++
Y Cheon, GT Leavens
JOOP 7 (6), 39-49, 1994
571994
PWiseGen: Generating test cases for pairwise testing using genetic algorithms
P Flores, Y Cheon
2011 IEEE International Conference on Computer Science and Automation …, 2011
562011
Specifying and checking method call sequences of Java programs
Y Cheon, A Perumandla
Software Quality Journal 15 (1), 7-25, 2007
562007
Random test data generation for Java classes annotated with JML specifications
Y Cheon, CE Rubio-Medrano
492007
Automated random testing to detect specification-code inconsistencies
Y Cheon
462007
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, ...
462006
The system can't perform the operation now. Try again later.
Articles 1–20