| 2025 | ICSoft | LLMs as Code Generators for Model-Driven Development. | Yoonsik Cheon |
| 2025 | ICSoft | Enhancing Design-by-Contract with Frame Specifications. | Yoonsik Cheon, Benjamin Good |
| 2024 | ICSoft | Asserting Frame Properties. | Yoonsik Cheon, Bozhen Liu, Carlos E. Rubio-Medrano |
| 2024 | MODELSWARD | Constructive Assertions with Abstract Models. | Yoonsik Cheon |
| 2023 | SERA | A Library-Based Approach for Writing Design Assertions. | Yoonsik Cheon, Ricardo Lozano, Rajasoundarya Senthil Prabhu |
| 2022 | ICCSA | Design Assertions: Executable Assertions for Design Constraints. | Yoonsik Cheon |
| 2019 | ICSoft | Code Reuse between Java and Android Applications. | Yoonsik Cheon, Carlos V. Chavez, Ubaldo Castro |
| 2019 | SERA | Multiplatform Application Development for Android and Java. | Yoonsik Cheon |
| 2010 | SEKE | Runtime Constraint Checking Approaches for OCL, A Critical Comparison. | Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep |
| 2008 | ICST | A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs. | Myoung Kim, Yoonsik Cheon |
| 2008 | SEKE | Integrating Random Testing with Constraints for Improved Efficiency and Diversity. | Yoonsik Cheon, Antonio Cortes, Gary T. Leavens, Martine Ceberio |
| 2006 | GECCO | A specification-based fitness function for evolutionary testing of object-oriented programs. | Yoonsik Cheon, Myoung Kim |
| 2002 | ECOOP | A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. | Yoonsik Cheon, Gary T. Leavens |
| 1999 | APSEC | Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks. | Yoonsik Cheon, Heung-Nam Kim |