Yoonsik Cheon - RankMe

39 papers A 4C 11Journal 6Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Enhancing Design-by-Contract with Frame Specifications. ICSOFT Yoonsik Cheon, Benjamin Good
2025	C	`conf`	LLMs as Code Generators for Model-Driven Development. ICSOFT Yoonsik Cheon
2024	C	`conf`	Asserting Frame Properties. ICSOFT Yoonsik Cheon, Bozhen Liu, Carlos E. Rubio-Medrano
2024	C	`conf`	Constructive Assertions with Abstract Models. MODELSWARD Yoonsik Cheon
2023	C	`conf`	A Library-Based Approach for Writing Design Assertions. SERA Yoonsik Cheon, Ricardo Lozano, Rajasoundarya Senthil Prabhu
2022	—	`conf`	Design Assertions: Executable Assertions for Design Constraints. ICCSA (Workshops 5) Yoonsik Cheon
2021	—	`conf`	Converting Android Native Apps to Flutter Cross-Platform Apps. CSCI Yoonsik Cheon, Carlos V. Chavez
2019	C	`conf`	Code Reuse between Java and Android Applications. ICSOFT Yoonsik Cheon, Carlos V. Chavez, Ubaldo Castro
2019	C	`conf`	Multiplatform Application Development for Android and Java. SERA Yoonsik Cheon
2017	—	`conf`	HifoCap: An Android App for Wearable Health Devices. ICADIWT Yoonsik Cheon, Rodrigo Romero, Javier Garcia
2011	—	`conf`	CleanJava: A Formal Notation for Functional Program Verification. ITNG Yoonsik Cheon, Cesar Yeep, Melisa Vela
2010	—	`conf`	Automating Java Program Testing Using OCL and AspectJ. ITNG Yoonsik Cheon, Carmen Avila
2010	C	`conf`	Runtime Constraint Checking Approaches for OCL, A Critical Comparison. SEKE Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep
2009	—	`conf`	An Aspect-Based Approach to Checking Design Constraints at Run-Time. ITNG Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo
2008	A	`conf`	A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs. ICST Myoung Kim, Yoonsik Cheon
2008	—	`conf`	A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. Software Engineering Research and Practice Carmen Avila, Guillermo Flores, Yoonsik Cheon
2008	C	`conf`	Integrating Random Testing with Constraints for Improved Efficiency and Diversity. SEKE Yoonsik Cheon, Antonio Cortes, Gary T. Leavens, Martine Ceberio
2007	—	`conf`	Abstraction in Assertion-Based Test Oracles. QSIC Yoonsik Cheon
2007	—	`conf`	Architectural Assertions: Checking Architectural Constraints at Run-Time. Software Engineering Research and Practice Hyotaeg Jung, Carlos E. Rubio-Medrano, W. Eric Wong, Yoonsik Cheon
2007	—	`conf`	Automated Random Testing to Detect Specification-Code Inconsistencies. SETP Yoonsik Cheon
2007	—	`conf`	Random Test Data Generation for Java Classes Annotated with JML Specifications. Software Engineering Research and Practice Yoonsik Cheon, Carlos E. Rubio-Medrano
2007	J	`jnl`	Specifying and checking method call sequences of Java programs. Softw. Qual. J. Yoonsik Cheon, Ashaveena Perumandla
2006	A	`conf`	A specification-based fitness function for evolutionary testing of object-oriented programs. GECCO Yoonsik Cheon, Myoung Kim
2006	A	`conf`	Unification of verification and validation methods for software systems: progress report and initial case study formulation. IPDPS James C. Browne, Calvin Lin, Kevin Kane, Yoonsik Cheon, Patricia J. Teller
2005	—	`conf`	A Complete Automation of Unit Testing for Java Programs. Software Engineering Research and Practice Yoonsik Cheon, Myoung Kim, Ashaveena Perumandla
2005	—	`conf`	A contextual interpretation of undefinedness for runtime assertion checking. AADEBUG Yoonsik Cheon, Gary T. Leavens
2005	J	`jnl`	An overview of JML tools and applications. Int. J. Softw. Tools Technol. Transf. Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
2005	J	`jnl`	How the design of JML accommodates both runtime assertion checking and formal verification. Sci. Comput. Program. Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
2005	J	`jnl`	Model variables: cleanly supporting abstraction in design by contract. Softw. Pract. Exp. Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards
2005	—	`conf`	Specifying and Checking Method Call Sequences in JML. Software Engineering Research and Practice Yoonsik Cheon, Ashaveena Perumandla
2003	—	`—`	A runtime assertion checker for the Java Modeling Language. Yoonsik Cheon
2003	C	`conf`	An overview of JML tools and applications. FMICS Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
2002	A	`conf`	A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. ECOOP Yoonsik Cheon, Gary T. Leavens
2002	—	`conf`	How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. FMCO Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
1999	—	`conf`	From LOTOS to C++, Issues and Tool Development. Applied Informatics Yoonsik Cheon, Kangho Kim, Chulhong Kim, Youngbae Oh
1999	C	`conf`	Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks. APSEC Yoonsik Cheon, Heung-Nam Kim
1994	J	`jnl`	A Quick Overview of Larch/C++. J. Object Oriented Program. Yoonsik Cheon, Gary T. Leavens
1994	J	`jnl`	The Larch/Smalltalk Interface Specification Language. ACM Trans. Softw. Eng. Methodol. Yoonsik Cheon, Gary T. Leavens
1992	—	`conf`	Preliminary Design of Larch/C++. Larch Gary T. Leavens, Yoonsik Cheon