Yoonsik Cheon

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 7

Top Topics

Android Application

Application Development

Top Venues

Publications

Yoonsik Cheon
Constructive Assertions with Abstract Models. MODELSWARD (2024)
Yoonsik Cheon, Ricardo Lozano, Rajasoundarya Senthil Prabhu
A Library-Based Approach for Writing Design Assertions. SERA (2023)
Yoonsik Cheon
Design Assertions: Executable Assertions for Design Constraints. ICCSA (Workshops 5) (2022)
Yoonsik Cheon, Carlos V. Chavez
Converting Android Native Apps to Flutter Cross-Platform Apps. CSCI (2021)
Yoonsik Cheon, Carlos V. Chavez, Ubaldo Castro
Code Reuse between Java and Android Applications. ICSOFT (2019)
Yoonsik Cheon
Multiplatform Application Development for Android and Java. SERA (2019)
Yoonsik Cheon, Rodrigo Romero, Javier Garcia
HifoCap: An Android App for Wearable Health Devices. ICADIWT (2017)
Yoonsik Cheon, Cesar Yeep, Melisa Vela
CleanJava: A Formal Notation for Functional Program Verification. ITNG (2011)
Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep
Runtime Constraint Checking Approaches for OCL, A Critical Comparison. SEKE (2010)
Yoonsik Cheon, Carmen Avila
Automating Java Program Testing Using OCL and AspectJ. ITNG (2010)
Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo
An Aspect-Based Approach to Checking Design Constraints at Run-Time. ITNG (2009)
Yoonsik Cheon, Antonio Cortes, Gary T. Leavens, Martine Ceberio
Integrating Random Testing with Constraints for Improved Efficiency and Diversity. SEKE (2008)
Myoung Kim, Yoonsik Cheon
A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs. ICST (2008)
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)
Yoonsik Cheon, Carlos E. Rubio-Medrano
Random Test Data Generation for Java Classes Annotated with JML Specifications. Software Engineering Research and Practice (2007)
Yoonsik Cheon
Abstraction in Assertion-Based Test Oracles. QSIC (2007)
Yoonsik Cheon
Automated Random Testing to Detect Specification-Code Inconsistencies. SETP (2007)
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)
Yoonsik Cheon, Ashaveena Perumandla
Specifying and checking method call sequences of Java programs. Softw. Qual. J. 15 (1) (2007)
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)
Yoonsik Cheon, Myoung Kim
A specification-based fitness function for evolutionary testing of object-oriented programs. GECCO (2006)
Yoonsik Cheon, Gary T. Leavens
A contextual interpretation of undefinedness for runtime assertion checking. AADEBUG (2005)
Yoonsik Cheon, Myoung Kim, Ashaveena Perumandla
A Complete Automation of Unit Testing for Java Programs. Software Engineering Research and Practice (2005)
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) (2005)
Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards
Model variables: cleanly supporting abstraction in design by contract. Softw. Pract. Exp. 35 (6) (2005)
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. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)
Yoonsik Cheon, Ashaveena Perumandla
Specifying and Checking Method Call Sequences in JML. Software Engineering Research and Practice (2005)
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. Electron. Notes Theor. Comput. Sci. 80 (2003)
Yoonsik Cheon, Gary T. Leavens
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. ECOOP (2002)
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)
Yoonsik Cheon, Kangho Kim, Chulhong Kim, Youngbae Oh
From LOTOS to C++, Issues and Tool Development. Applied Informatics (1999)
Yoonsik Cheon, Heung-Nam Kim
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks. APSEC (1999)
Yoonsik Cheon, Gary T. Leavens
The Larch/Smalltalk Interface Specification Language. ACM Trans. Softw. Eng. Methodol. 3 (3) (1994)
Yoonsik Cheon, Gary T. Leavens
A Quick Overview of Larch/C++. J. Object Oriented Program. 7 (6) (1994)
Gary T. Leavens, Yoonsik Cheon
Preliminary Design of Larch/C++. Larch (1992)