Searching for authors named "Yoonsik Cheon" – sorted by Relevance.
-
Abstraction in Assertion-Based Test Oracles
- Abstraction in Assertion-Based Test Oracles Yoonsik Cheon TR #07-41 June 2007; revised August 2007
- Add To MetaCart
-
Larch/Smalltalk: A Specification Language for Smalltalk
- Larch/Smalltalk: A Specification Language for Smalltalk by Yoonsik Cheon A Thesis Submitted
- Cited by 6 (3 self) – Add To MetaCart
-
Automated random testing to detect specification-code inconsistencies.” The University of Texas at El Paso
- Automated Random Testing to Detect Specification-Code Inconsistencies Yoonsik Cheon TR #07
- Cited by 4 (2 self) – Add To MetaCart
-
A Fitness Function for Modular Evolutionary Testing of
- A Fitness Function for Modular Evolutionary Testing of Object-Oriented Programs Yoonsik Cheon
- Add To MetaCart
-
A Specifier's Dilemma, An Abstraction Problem in Interface Specifications
- A Specifier’s Dilemma, Abstractions in Interface Specifications Yoonsik Cheon and Heung-Nam Kim
- Add To MetaCart
-
Specifying and Checking Method Call Sequences of Java Programs
- Specifying and Checking Method Call Sequences of Java Programs Yoonsik Cheon and Ashaveena
- Cited by 5 (2 self) – Add To MetaCart
-
Larch/Smalltalk: A Specification Language for Smalltalk
- Larch/Smalltalk: A Specification Language for Smalltalk TR91-15 Yoonsik Cheon June, 1991 1 Larch
- Add To MetaCart
-
Abstract Design by Contract with JML
- Abstract Design by Contract with JML Gary T. Leavens Yoonsik Cheon Dept. of Computer Science Dept
- Add To MetaCart
-
The JML and JUnit Way of Unit Testing and its Implementation
- The JML and JUnit Way of Unit Testing and its Implementation Yoonsik Cheon and Gary T. Leavens TR
- Cited by 5 (0 self) – Add To MetaCart
-
Preliminary Design of Larch/C++
- Preliminary Design of Larch/C++ Gary T. Leavens and Yoonsik Cheon TR #92-16a May, 1992 (Revised
- Cited by 6 (2 self) – Add To MetaCart

