Yoonsik Cheon

	2008
24		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
23		Yoonsik Cheon, Antonio Cortes, Gary T. Leavens, Martine Ceberio: Integrating Random Testing with Constraints for Improved Efficiency and Diversity. SEKE 2008: 861-866
22		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
21		Yoonsik Cheon: Abstraction in Assertion-Based Test Oracles. QSIC 2007: 410-414
20		Yoonsik Cheon: Automated Random Testing to Detect Specification-Code Inconsistencies. SETP 2007: 112-119
19		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
18		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
17		Yoonsik Cheon, Ashaveena Perumandla: Specifying and checking method call sequences of Java programs. Software Quality Journal 15(1): 7-25 (2007)
	2006
16		Yoonsik Cheon, Myoung Kim: A specification-based fitness function for evolutionary testing of object-oriented programs. GECCO 2006: 1953-1954
15		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
14		Yoonsik Cheon, Gary T. Leavens: A contextual interpretation of undefinedness for runtime assertion checking. AADEBUG 2005: 149-158
13		Yoonsik Cheon, Myoung Kim, Ashaveena Perumandla: A Complete Automation of Unit Testing for Java Programs. Software Engineering Research and Practice 2005: 290-295
12		Yoonsik Cheon, Ashaveena Perumandla: Specifying and Checking Method Call Sequences in JML. Software Engineering Research and Practice 2005: 511-516
11		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. STTT 7(3): 212-232 (2005)
10		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)
9		Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards: Model variables: cleanly supporting abstraction in design by contract. Softw., Pract. Exper. 35(6): 583-599 (2005)
	2003
8		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. Electr. Notes Theor. Comput. Sci. 80: (2003)
	2002
7		Yoonsik Cheon, Gary T. Leavens: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. ECOOP 2002: 231-255
6		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
	1999
5		Yoonsik Cheon, Heung-Nam Kim: Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks. APSEC 1999: 468-475
4		Yoonsik Cheon, Kangho Kim, Chulhong Kim, Youngbae Oh: From LOTOS to C++, Issues and Tool Development. Applied Informatics 1999: 368-371
	1994
3		Yoonsik Cheon, Gary T. Leavens: The Larch/Smalltalk Interface Specification Language. ACM Trans. Softw. Eng. Methodol. 3(3): 221-253 (1994)
2		Yoonsik Cheon, Gary T. Leavens: A Quick Overview of Larch/C++. JOOP 7(6): 39-49 (1994)
	1992
1		Gary T. Leavens, Yoonsik Cheon: Preliminary Design of Larch/C++. Larch 1992: 159-184

Coauthor Index

1	Carmen Avila	[22]
2	James C. Browne	[15]
3	Lilian Burdy	[8] [11]
4	Martine Ceberio	[23]
5	Curtis Clifton	[6] [10]
6	David R. Cok	[6] [8] [10] [11]
7	Antonio Cortes	[23]
8	Stephen H. Edwards	[9]
9	Michael D. Ernst	[8] [11]
10	Guillermo Flores	[22]
11	Hyotaeg Jung	[18]
12	Kevin Kane	[15]
13	Chulhong Kim	[4]
14	Heung-Nam Kim	[5]
15	Kangho Kim	[4]
16	Myoung Kim	[13] [16] [24]
17	Joseph Kiniry (Joseph R. Kiniry)	[8] [11]
18	Gary T. Leavens	[1] [2] [3] [6] [7] [8] [9] [10] [11] [14] [23]
19	K. Rustan M. Leino	[8] [11]
20	Calvin Lin	[15]
21	Youngbae Oh	[4]
22	Ashaveena Perumandla	[12] [13] [17]
23	Erik Poll	[8] [11]
24	Carlos E. Rubio-Medrano	[18] [19]
25	Clyde Ruby	[6] [10]
26	Murali Sitaraman	[9]
27	Patricia J. Teller	[15]
28	W. Eric Wong	[18]

Colors in the list of coauthors