Yoonsik Cheon's Publications

Yoonsik Cheon and Benjamin Good. Writing Effective Test Oracle Assertions. 13th International Conference in Software Engineering Research and Innovation (CONISOFT), La Paz, Mexico, October 27-31, 2025, pages 243-251. [DOI: 10.1109/CONISOFT66928.2025.00039]
Yoonsik Cheon. LLMs as Code Generators for Model-Driven Development. Proceedings of the 20th International Conference on Software Technologies (ICSOFT 2025), Bilbao, Spain, June 10-12, 2025, pages 386-393. [DOI: 10.5220/0013580300003964]
Yoonsik Cheon and Benjamin Good. Enhancing Design-by-Contract with Frame Specifications. Proceedings of the 20th International Conference on Software Technologies (ICSOFT 2025), Bilbao, Spain, June 10-12, 2025, pages 378-385. [DOI: 10.5220/0013578400003964]
Ricardo Lozano, Rajasoundarya Senthil Prabhu, and Yoonsik Cheon. Code Smells for Assessing and Improving Students' Coding Skills and Practices. Proceedings of the International Conference on Innovations in Computing Research (ICR '24), Athens, Greece, August 12-14, 2024. Published in Lecture Nots in Networks and Systems (LNNS), volume 1058, pages 617-631, 2024, Springer. [DOI: 10.1007/978-3-031-65522-7_21]
Yoonsik Cheon, Bozhen Liu, and Carlos Rubio-Medrano. Asserting Frame Properties. Proceedings of the 19th International Conference on Software Technologies (ICSOFT 2024), Dijon, France, July 8-10, 2024, pages 145-152. [DOI: 10.5220/0012786600003753]
Yoonsik Cheon, Ricardo Lozano, and Rajasoundarya Senthil Prabhu. Constructive assertion with abstract models. Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering (MODELSWARD 2024), Rome, Italy, February 21-23, 2024, pages 211-218. [DOI: 10.5220/0012418800003645]
Yoonsik Cheon, Ricardo Lozano, and Rajasoundarya Senthil Prabhu. A Library-Based Approach for Writing Design Assertions. In 2023 IEEE/ACIS 21st International Conference on Software Engineering Research, Management and Applications (SERA), Orlando, FL, USA, 2023, pages. 22-27. [DOI: 10.1109/SERA57763.2023.10197770]
Yoonsik Cheon. Blending functional program verification and assertions. 15th International Workshop on Tools and Techniques in Software Development Process (TTSDP 2023), co-located with ICCSA 2023, Athens, Greece, July 3-6, 2023.
Yoonsik Cheon. Design Assertions: Executable Assertions for Design Constraints, 14th International Symposium on Software Engineering Processes and Applications (SEPA 2022), July 4-7, 2022, Malaga, Spain. Published in ICCSA 2022 Workshops, LNCS 13381, pages 617-631, 2022. [DOI: 10.1007/978-3-031-10548-7_45]
Yoonsik Cheon and Gary T. Leavens. AITO Test of Time Award: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002. European Conference on Object-Oriented Programming (ECOOP 2022) Keynotes, June 8, 2022, Berlin, Germany.
Yoonsik Cheon. Toward More Effective Use of Assertions for Mobile App Development 2021 IEEE International Conference on Progress in Informatics and Computing (PIC), Shanghai, China, December 17-19, 2021, pages 319-323. [DOI: 10.1109/PIC53636.2021.9687079] [PDF]
Yoonsik Cheon and Carlos Chavez. Creating Flutter Apps from Native Android Apps, 2021 CSCI Symposium on Software Engineering, Las Vegas, Nevada, December 15-17, 2021, IEEE Computing Society, pages 1898-1904. [DOI: 10.1109/CSCI54926.2021.00355] [PDF]
Yoonsik Cheon. Coding Overhead of Mobile Apps, 2020 CSCI Symposium on Software Engineering, Las Vegas, Nevada, December 16-18, 2020, IEEE Computing Society, pages 1756-1760. [DOI: 10.1109/CSCI51800.2020.00325] [PDF]
Yoonsik Cheon, Carlos Chavez and Ubaldo Castro. Code Reuse between Java and Android Applications, Proceedings of the 14th International Conference on Software Technologies (ICSOFT), Prague, Czech Republic, July 26-28, 2019, pages 246-253. [DOI: 10.5220/0007843702460253] [PDF]
Yoonsik Cheon. Multiplatform Application Development for Android and Java. 17th IEEE International Conference on Software Engineering, Management and Applications, Honolulu, Hawaii, May 29-31, 2019, pages 1-5. [DOI: 10.1109/SERA.2019.8886800] [PDF]
Terry J. Speicher and Yoonsik Cheon, Composing a Cross-platform Development Environment Using Maven, Workshop on Regional Consortium for Foundations, Research and Spread of Emerging Technologies in Computing Sciences, Juarez, Mexico, Nov. 8-9, 2018, pp. 68-80. [PDF]
Aditi Barua and Yoonsik Cheon. Patterns for Systematic Derivation of Loop Specifications. Proceedings of the 2018 International Conference on Software Engineering Research & Practice, Las Vegas, Nevada, pages 229-235, July 30 - August 2, 2018, pages 229-235. [PDF]
Yoonsik Cheon and Aditi Barua. Model Driven Development for Android Apps. Proceedings of the 2018 International Conference on Software Engineering Research & Practice, Las Vegas, Nevada, July 30 - August 2, 2018, pages 17-22. [PDF]
Adriana Escobar De La Torre and Yoonsik Cheon, Impacts of Java Language Features on the Memory Performances of Android Apps, Technical Report 17-84, Department of Computer Science, University of Texas at El Paso, El Paso, TX, September 2017. [PDF]
Yoonsik Cheon, Rodrigo Romero, and Javier Garcia, HifoCap: An Android App for Wearable Health Devices, Advances in Digital Technologies, Proceedings of the 8-th International Conference on Applications of Digital Information and Web Technologies, Volume 295 of Frontiers in Artificial Intelligence and Applications, pages 178--192, IOS Press, 2017. [DOI: 10.3233/978-1-61499-773-3-178]
Khandoker Rahad, Zejing Cao, and Yoonsik Cheon, A Thought on Refactoring Java Loops Using Java 8 Streams, Technical Report 17-44, Department of Computer Science, University of Texas at El Paso, El Paso, TX, June 2017. [PDF]
Angel F. Garcia Contreras and Yoonsik Cheon, Specifying a Global Optimization Solver in Z, Technical Report 16-100, Department of Computer Science, University of Texas at El Paso, El Paso, TX, December 2016. [PDF]
Yoonsik Cheon, Zejing Cao and Khandoker Rahad, Writing JML Specifications Using Java 8 Streams, Technical Report 16-83, Department of Computer Science, University of Texas at El Paso, El Paso, TX, December 2016. [PDF]
Yoonsik Cheon, Are Java Programming Best Practices Also Best Practices for Android? Technical Report 16-76, Department of Computer Science, University of Texas at El Paso, El Paso, TX, December 2016. [PDF]
Yoonsik Cheon, Toward Unification of Explicit and Implicit Invocation-Style Programming, Technical Report 15-98, Department of Computer Science, University of Texas at El Paso, El Paso, TX, December 2015. [PDF]
Aditi Barua and Yoonsik Cheon, A Systematic Derivation of Loop Specifications Using Patterns, Technical Report 15-90, Department of Computer Science, University of Texas at El Paso, El Paso, TX, December 2015. [PDF]
Aditi Barua and Yoonsik Cheon, Finding Specifications of While Statements Using Patterns, New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering, Lecture Notes in Electrical Engineering, Volume 312, November 2014, pages 5381-588, Springer. [DOI: 10.1007/978-3-319-06764-3_75]
Aditi Barua and Yoonsik Cheon, A Catalog of While Loop Specification Patterns, Technical Report 14-65, Department of Computer Science, University of Texas at El Paso, El Paso, TX, September 2014. [PDF]
Yoonsik Cheon, Writing Self-testing Java Classes with SelfTest, Technical Report 14-31, Department of Computer Science, University of Texas at El Paso, El Paso, TX, April 2014. [PDF]
Alla Dove, Aditi Barua and Yoonsik Cheon, Extending OCL to Better Express UML Qualified Associations, Technical Report 14-20, Department of Computer Science, University of Texas at El Paso, El Paso, TX, March 2014. [PDF]
Aditi Barua and Yoonsik Cheon, Finding Specifications of While Statements Using Patterns, International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, December 12-14, 2013, Springer. [PDF]
Yoonsik Cheon and Carmen Avila, Constructing Verifiably Correct Java Programs Using OCL and CleanJava, International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, July 22-25, 2013. pages 231-237, [PDF]
Melisa Vela and Yoonsik Cheon, Enhancing the Expressiveness of the CleanJava Language, Technical Report 13-33, Department of Computer Science, University of Texas at El Paso, El Paso, TX, June 2013. [PDF]
Cesar Yeep and Yoonsik Cheon, CJC: An Extensible Checker for the CleanJava Annotation Language, Technical Report 13-29, Department of Computer Science, University of Texas at El Paso, El Paso, TX, May 2013. [PDF]
Yoonsik Cheon, Extending Java for Android Programming, International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, July 16-19, 2012. [PDF]
Yoonsik Cheon, Cesar Yeep, and Melisa Vela, The CleanJava Language for Functional Program Verification, International Journal of Software Engineering, 5(1):47-68, January 2012. [PDF]
Carmen Avila and Yoonsik Cheon, Functional Verification of Class Invariants in CleanJava, Innovations and Advances in Computer, Information, and Systems Sciences, and Engineering, Lecture Notes in Electrical Engineering, volume 152, Springer-Verlag, August 2012, pages 1067-1076. [DOI: 10.1007/978-1-4614-3535-8_88]
Pedro Flores and Yoonsik Cheon, PWiseGen: Generating Test Cases for Pairwise Testing Using Genetic Algorithms, 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE 2011), June 10-12, 2011, Shanghai, China, pages 747-752, IEEE Computer Society. [DOI: 10.1109/CSAE.2011.5952610]
Yoonsik Cheon, Cesar Yeep and Melisa Vela. CleanJava: A Formal Notation for Functional Program Verification, ITNG 2011: 8th International Conference on Information Technology, April 11-13, 2011, Las Vegas, Nevada, pages 221-226, IEEE Computer Society. [DOI: 10.1109/ITNG.2011.46]
Yoonsik Cheon and Melisa Vela. A Tutorial on Functional Program Verification, Technical Report 10-26, Department of Computer Science, University of Texas at El Paso, El Paso, TX, September 2010. [PDF]
Yoonsik Cheon. Functional Specification and Verification of Object-Oriented Programs, Technical Report 10-23, Department of Computer Science, University of Texas at El Paso, El Paso, TX, August 2010. [PDF]
Amritam Sarcar and Yoonsik Cheon. A New Eclipse-Based JML Compiler Built Using AST Merging, Second World Congress on Software Engineering (WCSE 2010), December 19-20, 2010, Wuhan, China, pages 287-292, IEEE Computer Society. [DOI: 10.1109/WCSE.2010.92]
Carlos Rubio and Yoonsik Cheon. Access Control Contracts for Java Program Modules, 5th IEEE International Workshop on Security, Trust, and Privacy for Software Applications (STPSA 2010), July 19-23, 2010, Seoul, Korea. [PDF]
Carmen Avila, Amritam Sarcar, Yoonsik Cheon, and Cesar Yeep. Runtime Constraint Checking Approaches for OCL, A Critical Comparison, 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE 2010), July 1-3, 2010, San Francisco, CA, pages 393-398. [PDF]
Yoonsik Cheon and Carmen Avila. Automating Java Program Testing Using OCL and AspectJ. ITNG 2010: Seventh International Conference on Information Technology, April 12-14, 2010, Las Vegas, NV, pages 1020-1025, IEEE Computer Society. [DOI: 10.1109/ITNG.2010.123]
Yoonsik Cheon, Carmen Avila, Steve Roach, and Cuauhtemoc Munoz. Checking Design Constraints at Run-time Using OCL and AspectJ, International Journal of Software Engineering, 2(3):5-28, December 2009. [PDF]
Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, and Jessica Romo. An Aspect-Based Approach to Checking Design Constraints at Run-time. ITNG 2009: 6th International Conference on Information Technology: New Generations, April 27-29, 2009, Las Vegas, NV, pages 223-228, IEEE Computer Society. [DOI: 10.1109/ITNG.2009.282]
Yoonsik Cheon, Antonio Cortes, Martine Ceberio, and Gary T. Leavens. Integrating Random Testing with Constraints for Improved Efficiency and Diversity. In Proceedings of SEKE 2008, The 20-th International Conference on Software Engineering and Knowledge Engineering, July 1-3, 2008, San Francisco, CA, pages 861-866, July 2008. [PDF]
Carmen Avila, Guillermo Flores, Jr., and Yoonsik Cheon. A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking, International Conference on Software Engineering Research and Practice, July 14-17, 2008, Las Vegas, Nevada, U.S.A., pages 403-408, July 2008. [PDF]
Myoung Yee Kim and Yoonsik Cheon. A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs. International Conference on Software Testing, Verification, and Validation, Norway, April 9-11, 2008, pages 537-540, IEEE Computer Society. [DOI: 10.1109/ICST.2008.31]
Yoonsik Cheon. Abstraction in Assertion-based Test Oracles. In Proceedings of the Seventh International Conference on Quality Software, Portland, Oregon, USA, October 11-12, 2007, pages 410-414, IEEE Computer Society. [DOI: 10.1109/QSIC.2007.4385528]
Yoonsik Cheon. Automated Random Testing to Detect Specification-Code Inconsistencies. In Proceedings of the 2007 International Conference on Software Engineering Theory and Practice, July 9-12, 2007, Orlando, Florida, U.S.A., pages 112-119. [PDF]
Hyotaeg Jung, Carlos E. Rubio-Medrano, Eric Wong, and Yoonsik Cheon. Architectural Assertions: Checking Architectural Constraints at Run-Time. The 6th International Workshop on System and Software Architectures, pages 604-607. Published in Proceedings of SERP 2007, Volume II, June 25-28, Las Vegas, Nevada. [PDF]
Yoonsik Cheon and Carlos E. Rubio-Medrano. Random Test Data Generation for Java Classes Annotated with JML Specifications. In Proceedings of the 2007 International Conference on Software Engineering Research and Practice, Volume II, June 25--28, 2007, Las Vegas, Nevada, pages 385-392. [PDF]
Yoonsik Cheon and Ashaveena Perumandla. Specifying and Checking Method Call Sequences of Java Programs. Software Quality Journal, 15(1):7-25, March 2007. [DOI: 10.1007/s11219-006-9001-4]
Angelica B. Perez, Yoonsik Cheon, and Ann Q. Gates. Canica: An IDE for the Java Modeling Language. In Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, November 13-15, 2006, Dallas, TX, USA, pages 32-37. [PDF]
Poonam Agarwal, Carlos E. Rubio-Medrano, Yoonsik Cheon, and Patricia J. Teller. A Formal Specification in JML of the Java Security Package. Khaled Elleithy (ed.), Advances and Innovations in Systems, Computing Science, and Software Engineering, pages 363-368, Springer, 2007. [DOI: 10.1007/978-1-4020-6264-3_63]
Yoonsik Cheon and Myoung Kim. A Fitness Function for Modular Evolutionary Testing of Object-Oriented Programs. In Genetic and Evolutionary Computation Conference, Seattle, WA, USA, July 8-12, 2006, pages 1952-1954, ACM Press, 2006. [PDF]
James C. Browne, Calvin Lin, Kevin Kane, Yoonsik Cheon, and Patricia J. Teller. Unification of Verification and Validation Methods for Software Systems: Progress Report and Initial Case Study Formulation. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, IEEE, 2006 [DOI: 10.1109/IPDPS.2006.1639582]
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, and Erik Poll. An Overview of JML Tools and Applications. International Journal on Software Tools for Technology Transfer, 7(3):212-232, June 2005. [DOI: 10.1007/s10009-004-0167-4]
Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, and Stephen Edwards. Model Variables: Cleanly Supporting Abstraction in Design By Contract. Software-Practice & Experience, 35(6):583-599, May 2005. [DOI: 10.1002/spe.649]
Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok. How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. Science of Computer Programming, 55(1-3):185-208, March 2005. [DOI: 10.1016/j.scico.2004.05.015]
Yoonsik Cheon and Gary T. Leavens. A Contextual Interpretation of Undefinedness for Runtime Assertion Checking. In AADEBUG 2005, Proceedings of the Sixth International Symposium on Automated and Analysis-Driven Debugging, Monterey, California, September 19--21, 2005, pages 149-157. ACM Press, September 2005. [PDF]
Yoonsik Cheon and Ashaveena Perumandla. Specifying and Checking Method Call Sequences in JML. Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP '05), Las Vegas, Nevada, June 27-29, 2005, pages 511-516, 2005. [PDF]
Yoonsik Cheon, Myoung Yee Kim, and Ashaveena Perumandla. A Complete Automation of Unit Testing for Java Programs. Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP '05), Las Vegas, Nevada, June 27-29, 2005, pages 290-295, 2005. [PDF]
Gary T. Leavens, Yoonsik Cheon, and David R. Cok. Demonstration of JML Tools. Department of Computer Science, Iowa State University, TR #05-13, April 2005. Submitted to ESEC/FSE 2005. [PDF]
Yoonsik Cheon, Yoshiki Hayashi, and Gary T. Leavens. A Thought on Specification Reflection. In N. Callaos, W. Lesso, and B. Sanchez, editors, The 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), July 18-21, 2004, Orlando, Florida, USA, Volume II, Computing Techniques, pages 485-490, July 2004. [PDF]
Yoonsik Cheon and Gary T. Leavens. The JML and JUnit Way of Unit Testing and its Implementation. Technical Report 04-02, Department of Computer Science, Iowa State University, Ames, IA, February 2004. [PDF]
Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok. How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. In First International Symposium on Formal Methods for Components and Objects (FMCO 02), Leiden, The Netherlands, November 5-8, 2002, page 262-284. Volume 2852 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2003.
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, and Erik Poll. An Overview of JML Tools and Applications. In Thomas Arts and Wan Fokkink (editors), Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS '03), Trondheim, Norway, June 5-7, 2003, pp. 73-89. Volume 80 of Electronic Notes in Theoretical Computer Science, Elsevier, June, 2003. (For a preprint, see Dept. of Computer Science, University of Nijmegen, Technical Report NIII-R0309) [PDF]
Yoonsik Cheon. A Runtime Assertion Checker for the Java Modeling Language. Technical Report 03-09, Department of Computer Science, Iowa State University, Ames, IA, April 2003. The author's Ph.D. dissertation. [PDF] [PS]
Yoonsik Cheon and Gary T. Leavens. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. In Boris Magnusson (ed.), ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 2002, Proceedings. Volume 2374 of Lecture Notes in Computer Science, pages 231-255. Springer-Verlag, 2002. [PDF]
Yoonsik Cheon and Gary T. Leavens. A Runtime Assertion Checker for the Java Modeling Language (JML). In Hamid R. Arabnia and Youngsong Mun (eds.), International Conference on Software Engineering Research and Practice (SERP '02), Las Vegas, Nevada, pages 322-328. CSREA Press, June 2002. [PDF]

Last modified at $Id: publications.html,v 1.169 2025/03/03 18:49:02 cheon Exp $