default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYoonsik Cheon
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c30]Yoonsik Cheon, Bozhen Liu, Carlos E. Rubio-Medrano:
Asserting Frame Properties. ICSOFT 2024: 145-152- [c29]Yoonsik Cheon:
Constructive Assertions with Abstract Models. MODELSWARD 2024: 211-218 - 2023
- [c28]Yoonsik Cheon, Ricardo Lozano, Rajasoundarya Senthil Prabhu:
A Library-Based Approach for Writing Design Assertions. SERA 2023: 22-27 - 2022
- [c27]Yoonsik Cheon:
Design Assertions: Executable Assertions for Design Constraints. ICCSA (Workshops 5) 2022: 617-631 - 2021
- [c26]Yoonsik Cheon, Carlos V. Chavez:
Converting Android Native Apps to Flutter Cross-Platform Apps. CSCI 2021: 1898-1904
2010 – 2019
- 2019
- [c25]Yoonsik Cheon, Carlos V. Chavez, Ubaldo Castro:
Code Reuse between Java and Android Applications. ICSOFT 2019: 246-253 - [c24]Yoonsik Cheon:
Multiplatform Application Development for Android and Java. SERA 2019: 1-5 - 2017
- [c23]Yoonsik Cheon, Rodrigo Romero, Javier Garcia:
HifoCap: An Android App for Wearable Health Devices. ICADIWT 2017: 178-192 - 2011
- [c22]Yoonsik Cheon, Cesar Yeep, Melisa Vela:
CleanJava: A Formal Notation for Functional Program Verification. ITNG 2011: 221-226 - 2010
- [c21]Yoonsik Cheon, Carmen Avila:
Automating Java Program Testing Using OCL and AspectJ. ITNG 2010: 1020-1025 - [c20]Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep:
Runtime Constraint Checking Approaches for OCL, A Critical Comparison. SEKE 2010: 393-398
2000 – 2009
- 2009
- [c19]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: 223-228 - 2008
- [c18]Myoung Kim, Yoonsik Cheon:
A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs. ICST 2008: 537-540 - [c17]Yoonsik Cheon, Antonio Cortes, Gary T. Leavens, Martine Ceberio:
Integrating Random Testing with Constraints for Improved Efficiency and Diversity. SEKE 2008: 861-866 - [c16]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: 403-408 - 2007
- [j6]Yoonsik Cheon, Ashaveena Perumandla:
Specifying and checking method call sequences of Java programs. Softw. Qual. J. 15(1): 7-25 (2007) - [c15]Yoonsik Cheon:
Abstraction in Assertion-Based Test Oracles. QSIC 2007: 410-414 - [c14]Yoonsik Cheon, Carlos E. Rubio-Medrano:
Random Test Data Generation for Java Classes Annotated with JML Specifications. Software Engineering Research and Practice 2007: 385-391 - [c13]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: 604-607 - [c12]Yoonsik Cheon:
Automated Random Testing to Detect Specification-Code Inconsistencies. SETP 2007: 112-119 - 2006
- [c11]Yoonsik Cheon, Myoung Kim:
A specification-based fitness function for evolutionary testing of object-oriented programs. GECCO 2006: 1953-1954 - [c10]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 - 2005
- [j5]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): 185-208 (2005) - [j4]Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards:
Model variables: cleanly supporting abstraction in design by contract. Softw. Pract. Exp. 35(6): 583-599 (2005) - [j3]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): 212-232 (2005) - [c9]Yoonsik Cheon, Gary T. Leavens:
A contextual interpretation of undefinedness for runtime assertion checking. AADEBUG 2005: 149-158 - [c8]Yoonsik Cheon, Myoung Kim, Ashaveena Perumandla:
A Complete Automation of Unit Testing for Java Programs. Software Engineering Research and Practice 2005: 290-295 - [c7]Yoonsik Cheon, Ashaveena Perumandla:
Specifying and Checking Method Call Sequences in JML. Software Engineering Research and Practice 2005: 511-516 - 2003
- [c6]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. FMICS 2003: 75-91 - 2002
- [c5]Yoonsik Cheon, Gary T. Leavens:
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. ECOOP 2002: 231-255 - [c4]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: 262-284
1990 – 1999
- 1999
- [c3]Yoonsik Cheon, Kangho Kim, Chulhong Kim, Youngbae Oh:
From LOTOS to C++, Issues and Tool Development. Applied Informatics 1999: 368-371 - [c2]Yoonsik Cheon, Heung-Nam Kim:
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks. APSEC 1999: 468-475 - 1994
- [j2]Yoonsik Cheon, Gary T. Leavens:
A Quick Overview of Larch/C++. J. Object Oriented Program. 7(6): 39-49 (1994) - [j1]Yoonsik Cheon, Gary T. Leavens:
The Larch/Smalltalk Interface Specification Language. ACM Trans. Softw. Eng. Methodol. 3(3): 221-253 (1994) - 1992
- [c1]Gary T. Leavens, Yoonsik Cheon:
Preliminary Design of Larch/C++. Larch 1992: 159-184
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-07 00:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
