Preliminary Design of Larch/C++. - Gary T. Leavens; Yoonsik Cheon (Larch, 1992)

A Quick Overview of Larch/C++. - Yoonsik Cheon; Gary T. Leavens (J. Object Oriented Program., 1994)

The Larch/Smalltalk Interface Specification Language. - Yoonsik Cheon; Gary T. Leavens (ACM Trans. Softw. Eng. Methodol., 1994)

From LOTOS to C++, Issues and Tool Development. - Yoonsik Cheon; Kangho Kim; Chulhong Kim; Youngbae Oh (Applied Informatics, 1999)

Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks. - Yoonsik Cheon; Heung-Nam Kim (APSEC, 1999)

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. - Yoonsik Cheon; Gary T. Leavens (ECOOP, 2002)

How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. - Gary T. Leavens; Yoonsik Cheon; Curtis Clifton; Clyde Ruby; David R. Cok (FMCO, 2002)

A contextual interpretation of undefinedness for runtime assertion checking. - Yoonsik Cheon; Gary T. Leavens (AADEBUG, 2005)

A Complete Automation of Unit Testing for Java Programs. - Yoonsik Cheon; Myoung Kim; Ashaveena Perumandla (Software Engineering Research and Practice, 2005)

Specifying and Checking Method Call Sequences in JML. - Yoonsik Cheon; Ashaveena Perumandla (Software Engineering Research and Practice, 2005)

How the design of JML accommodates both runtime assertion checking and formal verification. - Gary T. Leavens; Yoonsik Cheon; Curtis Clifton; Clyde Ruby; David R. Cok (Sci. Comput. Program., 2005)

Model variables: cleanly supporting abstraction in design by contract. - Yoonsik Cheon; Gary T. Leavens; Murali Sitaraman; Stephen H. Edwards (Softw. Pract. Exp., 2005)

An overview of JML tools and applications. - Lilian Burdy; Yoonsik Cheon; David R. Cok; Michael D. Ernst; Joseph R. Kiniry; Gary T. Leavens; K. Rustan M. Leino; Erik Poll (Int. J. Softw. Tools Technol. Transf., 2005)

A specification-based fitness function for evolutionary testing of object-oriented programs. - Yoonsik Cheon; Myoung Kim (GECCO, 2006)

Unification of verification and validation methods for software systems: progress report and initial case study formulation. - James C. Browne; Calvin Lin; Kevin Kane; Yoonsik Cheon; Patricia J. Teller (IPDPS, 2006)

Abstraction in Assertion-Based Test Oracles. - Yoonsik Cheon (QSIC, 2007)

Random Test Data Generation for Java Classes Annotated with JML Specifications. - Yoonsik Cheon; Carlos E. Rubio-Medrano (Software Engineering Research and Practice, 2007)

Architectural Assertions: Checking Architectural Constraints at Run-Time. - Hyotaeg Jung; Carlos E. Rubio-Medrano; W. Eric Wong; Yoonsik Cheon (Software Engineering Research and Practice, 2007)

Automated Random Testing to Detect Specification-Code Inconsistencies. - Yoonsik Cheon (SETP, 2007)

Specifying and checking method call sequences of Java programs. - Yoonsik Cheon; Ashaveena Perumandla (Softw. Qual. J., 2007)

A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs. - Myoung Kim; Yoonsik Cheon (ICST, 2008)

Integrating Random Testing with Constraints for Improved Efficiency and Diversity. - Yoonsik Cheon; Antonio Cortes; Gary T. Leavens; Martine Ceberio (SEKE, 2008)

A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. - Carmen Avila; Guillermo Flores; Yoonsik Cheon (Software Engineering Research and Practice, 2008)

An Aspect-Based Approach to Checking Design Constraints at Run-Time. - Yoonsik Cheon; Carmen Avila; Steve Roach; Cuauhtemoc Munoz; Neith Estrada; Valeria Fierro; Jessica Romo (ITNG, 2009)

Automating Java Program Testing Using OCL and AspectJ. - Yoonsik Cheon; Carmen Avila (ITNG, 2010)

Runtime Constraint Checking Approaches for OCL, A Critical Comparison. - Carmen Avila; Amritam Sarcar; Yoonsik Cheon; Cesar Yeep (SEKE, 2010)

CleanJava: A Formal Notation for Functional Program Verification. - Yoonsik Cheon; Cesar Yeep; Melisa Vela (ITNG, 2011)

HifoCap: An Android App for Wearable Health Devices. - Yoonsik Cheon; Rodrigo Romero; Javier Garcia (ICADIWT, 2017)

Code Reuse between Java and Android Applications. - Yoonsik Cheon; Carlos V. Chavez; Ubaldo Castro (ICSOFT, 2019)

Multiplatform Application Development for Android and Java. - Yoonsik Cheon (SERA, 2019)

Converting Android Native Apps to Flutter Cross-Platform Apps. - Yoonsik Cheon; Carlos V. Chavez (CSCI, 2021)

Design Assertions: Executable Assertions for Design Constraints. - Yoonsik Cheon (ICCSA (Workshops 5), 2022)

A Library-Based Approach for Writing Design Assertions. - Yoonsik Cheon; Ricardo Lozano; Rajasoundarya Senthil Prabhu (SERA, 2023)

Asserting Frame Properties. - Yoonsik Cheon; Bozhen Liu; Carlos E. Rubio-Medrano (ICSOFT, 2024)

Constructive Assertions with Abstract Models. - Yoonsik Cheon (MODELSWARD, 2024)

LLMs as Code Generators for Model-Driven Development. - Yoonsik Cheon (ICSOFT, 2025)

Enhancing Design-by-Contract with Frame Specifications. - Yoonsik Cheon; Benjamin Good (ICSOFT, 2025)