Yoonsik Cheon

According to our database, Yoonsik Cheon authored at least 33 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Constructive Assertions with Abstract Models.

Yoonsik Cheon

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2023

A Library-Based Approach for Writing Design Assertions.

Yoonsik Cheon, Ricardo Lozano, Rajasoundarya Senthil Prabhu

Proceedings of the 21st IEEE/ACIS International Conference on Software Engineering Research, 2023

2022

Design Assertions: Executable Assertions for Design Constraints.

Yoonsik Cheon

Proceedings of the Computational Science and Its Applications - ICCSA 2022 Workshops, 2022

2019

Multiplatform Application Development for Android and Java.

Yoonsik Cheon

Proceedings of the 17th IEEE International Conference on Software Engineering Research, 2019

Code Reuse between Java and Android Applications.

Yoonsik Cheon, Carlos V. Chavez, Ubaldo Castro

Proceedings of the 14th International Conference on Software Technologies, 2019

2017

HifoCap: An Android App for Wearable Health Devices.

Yoonsik Cheon, Rodrigo Romero, Javier Garcia

Proceedings of the Recent Advances in Artificial Intelligence Research and Development, 2017

2011

CleanJava: A Formal Notation for Functional Program Verification.

Yoonsik Cheon, Cesar Yeep, Melisa Vela

Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

2010

Runtime Constraint Checking Approaches for OCL, A Critical Comparison.

Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Automating Java Program Testing Using OCL and AspectJ.

Yoonsik Cheon, Carmen Avila

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2009

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

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

2008

A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking.

Carmen Avila, Guillermo Flores, Yoonsik Cheon

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Integrating Random Testing with Constraints for Improved Efficiency and Diversity.

Yoonsik Cheon, Antonio Cortes, Gary T. Leavens, Martine Ceberio

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs.

Myoung Kim, Yoonsik Cheon

Proceedings of the First International Conference on Software Testing, 2008

2007

Specifying and checking method call sequences of Java programs.

Yoonsik Cheon, Ashaveena Perumandla

Softw. Qual. J., 2007

Automated Random Testing to Detect Specification-Code Inconsistencies.

Yoonsik Cheon

Proceedings of the International Conference on Software Engineering Theory and Practice, 2007

Architectural Assertions: Checking Architectural Constraints at Run-Time.

Hyotaeg Jung, Carlos E. Rubio-Medrano, W. Eric Wong, Yoonsik Cheon

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Random Test Data Generation for Java Classes Annotated with JML Specifications.

Yoonsik Cheon, Carlos E. Rubio-Medrano

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Abstraction in Assertion-Based Test Oracles.

Yoonsik Cheon

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

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

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A specification-based fitness function for evolutionary testing of object-oriented programs.

Yoonsik Cheon, Myoung Kim

Proceedings of the Genetic and Evolutionary Computation Conference, 2006

2005

Model variables: cleanly supporting abstraction in design by contract.

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards

Softw. Pract. Exp., 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

Specifying and Checking Method Call Sequences in JML.

Yoonsik Cheon, Ashaveena Perumandla

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

A Complete Automation of Unit Testing for Java Programs.

Yoonsik Cheon, Myoung Kim, Ashaveena Perumandla

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

A contextual interpretation of undefinedness for runtime assertion checking.

Yoonsik Cheon, Gary T. Leavens

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2003

An overview of JML tools and applications.

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

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

Proceedings of the Formal Methods for Components and Objects, 2002

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.

Yoonsik Cheon, Gary T. Leavens

Proceedings of the ECOOP 2002, 2002

1999

Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks.

Yoonsik Cheon, Heung-Nam Kim

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

From LOTOS to C++, Issues and Tool Development.

Yoonsik Cheon, Kangho Kim, Chulhong Kim, Youngbae Oh

Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1994

The Larch/Smalltalk Interface Specification Language.

Yoonsik Cheon, Gary T. Leavens

ACM Trans. Softw. Eng. Methodol., 1994

A Quick Overview of Larch/C++.

Yoonsik Cheon, Gary T. Leavens

J. Object Oriented Program., 1994

1992

Preliminary Design of Larch/C++.

Gary T. Leavens, Yoonsik Cheon

Proceedings of the First International Workshop on Larch, 1992