Yoonsik Cheon

Yoonsik Cheon

University of Texas El Paso - El Paso / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1677817
University of Texas at El Paso
person_outline Yoonsik Cheon's MOST POPULAR ARTICLES
1-) An overview of JML tools and applicationsL Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ...International journal on software tools for technology transfer 7 (3), 212-232, 20058662005
2-) A simple and practical approach to unit testing: The JML and JUnit wayY Cheon, GT LeavensEuropean Conference on Object-Oriented Programming, 231-255, 20024262002
3-) An overview of JML tools and applicationsL Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ...Electronic Notes in Theoretical Computer Science 80, 75-91, 20033372003
4-) JML reference manualGT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...3212008
5-) Design by Contract with JMLGT Leavens, Y Cheon2592006