| 2008 |
|---|
| 24 | EE | Myoung Kim,
Yoonsik Cheon:
A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs.
ICST 2008: 537-540 |
| 23 | | Yoonsik Cheon,
Antonio Cortes,
Gary T. Leavens,
Martine Ceberio:
Integrating Random Testing with Constraints for Improved Efficiency and Diversity.
SEKE 2008: 861-866 |
| 22 | | Carmen Avila,
Guillermo Flores,
Yoonsik Cheon:
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking.
Software Engineering Research and Practice 2008: 403-408 |
| 2007 |
|---|
| 21 | EE | Yoonsik Cheon:
Abstraction in Assertion-Based Test Oracles.
QSIC 2007: 410-414 |
| 20 | | Yoonsik Cheon:
Automated Random Testing to Detect Specification-Code Inconsistencies.
SETP 2007: 112-119 |
| 19 | | Yoonsik Cheon,
Carlos E. Rubio-Medrano:
Random Test Data Generation for Java Classes Annotated with JML Specifications.
Software Engineering Research and Practice 2007: 385-391 |
| 18 | | Hyotaeg Jung,
Carlos E. Rubio-Medrano,
W. Eric Wong,
Yoonsik Cheon:
Architectural Assertions: Checking Architectural Constraints at Run-Time.
Software Engineering Research and Practice 2007: 604-607 |
| 17 | EE | Yoonsik Cheon,
Ashaveena Perumandla:
Specifying and checking method call sequences of Java programs.
Software Quality Journal 15(1): 7-25 (2007) |
| 2006 |
|---|
| 16 | EE | Yoonsik Cheon,
Myoung Kim:
A specification-based fitness function for evolutionary testing of object-oriented programs.
GECCO 2006: 1953-1954 |
| 15 | EE | James C. Browne,
Calvin Lin,
Kevin Kane,
Yoonsik Cheon,
Patricia J. Teller:
Unification of verification and validation methods for software systems: progress report and initial case study formulation.
IPDPS 2006 |
| 2005 |
|---|
| 14 | EE | Yoonsik Cheon,
Gary T. Leavens:
A contextual interpretation of undefinedness for runtime assertion checking.
AADEBUG 2005: 149-158 |
| 13 | | Yoonsik Cheon,
Myoung Kim,
Ashaveena Perumandla:
A Complete Automation of Unit Testing for Java Programs.
Software Engineering Research and Practice 2005: 290-295 |
| 12 | | Yoonsik Cheon,
Ashaveena Perumandla:
Specifying and Checking Method Call Sequences in JML.
Software Engineering Research and Practice 2005: 511-516 |
| 11 | EE | Lilian Burdy,
Yoonsik Cheon,
David R. Cok,
Michael D. Ernst,
Joseph R. Kiniry,
Gary T. Leavens,
K. Rustan M. Leino,
Erik Poll:
An overview of JML tools and applications.
STTT 7(3): 212-232 (2005) |
| 10 | EE | Gary T. Leavens,
Yoonsik Cheon,
Curtis Clifton,
Clyde Ruby,
David R. Cok:
How the design of JML accommodates both runtime assertion checking and formal verification.
Sci. Comput. Program. 55(1-3): 185-208 (2005) |
| 9 | EE | Yoonsik Cheon,
Gary T. Leavens,
Murali Sitaraman,
Stephen H. Edwards:
Model variables: cleanly supporting abstraction in design by contract.
Softw., Pract. Exper. 35(6): 583-599 (2005) |
| 2003 |
|---|
| 8 | EE | Lilian Burdy,
Yoonsik Cheon,
David R. Cok,
Michael D. Ernst,
Joseph Kiniry,
Gary T. Leavens,
K. Rustan M. Leino,
Erik Poll:
An overview of JML tools and applications.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 2002 |
|---|
| 7 | EE | Yoonsik Cheon,
Gary T. Leavens:
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.
ECOOP 2002: 231-255 |
| 6 | EE | Gary T. Leavens,
Yoonsik Cheon,
Curtis Clifton,
Clyde Ruby,
David R. Cok:
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.
FMCO 2002: 262-284 |
| 1999 |
|---|
| 5 | EE | Yoonsik Cheon,
Heung-Nam Kim:
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks.
APSEC 1999: 468-475 |
| 4 | | Yoonsik Cheon,
Kangho Kim,
Chulhong Kim,
Youngbae Oh:
From LOTOS to C++, Issues and Tool Development.
Applied Informatics 1999: 368-371 |
| 1994 |
|---|
| 3 | EE | Yoonsik Cheon,
Gary T. Leavens:
The Larch/Smalltalk Interface Specification Language.
ACM Trans. Softw. Eng. Methodol. 3(3): 221-253 (1994) |
| 2 | | Yoonsik Cheon,
Gary T. Leavens:
A Quick Overview of Larch/C++.
JOOP 7(6): 39-49 (1994) |
| 1992 |
|---|
| 1 | | Gary T. Leavens,
Yoonsik Cheon:
Preliminary Design of Larch/C++.
Larch 1992: 159-184 |
