Searching for authors named "Yoonsik Cheon" – sorted by Relevance.
32 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
