Yoonsik Cheon's Recent Publications

2008

• Yoonsik Cheon, Antonio Cortes, Martine Ceberio, and Gary T. Leavens. Integrating Random Testing with Constraints for Improved Efficiency and Diversity, Technical Report 08-07, Department of Computer Science, The University of Texas at El Paso, El Paso, TX, February 2008. [PDF] To appear in SEKE 2008.

• Carmen Avila, Guillermo Flores, Jr., and Yoonsik Cheon. A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking, Technical Report 08-05, Department of Computer Science, The University of Texas at El Paso, El Paso, TX, February 2008. [PDF] To appear in SERP 2008.

• Myoung Yee Kim and Yoonsik Cheon. A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs. To appear in International Conference on Software Testing, Verification, and Validation, Norway, April 9-11, 2008. [PDF]

2007

• Yoonsik Cheon. Abstraction in Assertion-based Test Oracles. In Proceedings of the Seventh International Conference on Quality Software, Portland, Oregon, USA, October 11-12, 2007, pages 410-414, IEEE Computer Society. [PDF]

• Yoonsik Cheon. Automated Random Testing to Detect Specification-Code Inconsistencies. In Proceedings of the 2007 International Conference on Software Engineering Theory and Practice, July 9-12, 2007, Orlando, Florida, U.S.A., pages 112-119. [PDF]

• Hyotaeg Jung, Carlos E. Rubio-Medrano, Eric Wong, and Yoonsik Cheon. Architectural Assertions: Checking Architectural Constraints at Run-Time. The 6th International Workshop on System and Software Architectures, pages 604-607. Published in Proceedings of SERP 2007, Volume II, June 25-28, Las Vegas, Nevada. [PDF]

• Yoonsik Cheon and Carlos E. Rubio-Medrano. Random Test Data Generation for Java Classes Annotated with JML Specifications. In Proceedings of the 2007 International Conference on Software Engineering Research and Practice, Volume II, June 25--28, 2007, Las Vegas, Nevada, pages 385-392. [PDF]

• Yoonsik Cheon and Ashaveena Perumandla. Specifying and Checking Method Call Sequences of Java Programs. Software Quality Journal, 15(1):7-25, March 2007. [DOI: 10.1007/s11219-006-9001-4]

2006

• Angelica B. Perez, Yoonsik Cheon, and Ann Q. Gates. Canica: An IDE for the Java Modeling Language. In Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, November 13-15, 2006, Dallas, TX, USA, pages 32-37. [PDF]
  
  
• Poonam Agarwal, Carlos E. Rubio-Medrano, Yoonsik Cheon, and Patricia J. Teller. A Formal Specification in JML of the Java Security Package. Khaled Elleithy (ed.), Advances and Innovations in Systems, Computing Science, and Software Engineering, pages 363-368, Springer, 2007. [PDF]
  
  
• Yoonsik Cheon and Myoung Kim. A Fitness Function for Modular Evolutionary Testing of Object-Oriented Programs. In Genetic and Evolutionary Computation Conference, Seattle, WA, USA, July 8-12, 2006, pages 1952-1954, ACM Press, 2006. [PDF]
  
  
• James C. Browne, Calvin Lin, Kevin Kane, Yoonsik Cheon, and Patricia J. Teller. Unification of Verification and Validation Methods for Software Systems: Progress Report and Iitial Case Study Formulation. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, IEEE, 2006 [DOI: 10.1109/IPDPS.2006.1639582]
  
  

2005

• Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, and Erik Poll. An Overview of JML Tools and Applications. International Journal on Software Tools for Technology Transfer, 7(3):212-232, June 2005. [DOI: 10.1007/s10009-004-0167-4]
  
  
• Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, and Stephen Edwards. Model Variables: Cleanly Supporting Abstraction in Design By Contract. Software-Practice & Experience, 35(6):583-599, May 2005. [DOI: 10.1002/spe.649]
  
  
• Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok. How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. Science of Computer Programming, 55(1-3):185-208, March 2005. [DOI: 10.1016/j.scico.2004.05.015]
  
  
• Yoonsik Cheon and Gary T. Leavens. A Contextual Interpretation of Undefinedness for Runtime Assertion Checking. In AADEBUG 2005, Proceedings of the Sixth International Symposium on Automated and Analysis-Driven Debugging, Monterey, California, September 19--21, 2005, pages 149-157. ACM Press, September 2005. [PDF]
  
  
• Yoonsik Cheon and Ashaveena Perumandla. Specifying and Checking Method Call Sequences in JML. Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP '05), Las Vegas, Nevada, June 27-29, 2005, pages 511-516, 2005. [PDF]
  
  
• Yoonsik Cheon, Myoung Yee Kim, and Ashaveena Perumandla. A Complete Automation of Unit Testing for Java Programs. Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP '05), Las Vegas, Nevada, June 27-29, 2005, pages 290-295, 2005. [PDF]
  
  
• Gary T. Leavens, Yoonsik Cheon, and David R. Cok. Demonstration of JML Tools. Department of Computer Science, Iowa State University, TR #05-13, April 2005. Submitted to ESEC/FSE 2005. [PDF]
  
  

2004

• Yoonsik Cheon, Yoshiki Hayashi, and Gary T. Leavens. A Thought on Specification Reflection. In N. Callaos, W. Lesso, and B. Sanchez, editors, The 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), July 18-21, 2004, Orlando, Florida, USA, Volume II, Computing Techniques, pages 485-490, July 2004. [PDF]
  
  
• Yoonsik Cheon and Gary T. Leavens. The JML and JUnit Way of Unit Testing and its Implementation. Technical Report 04-02, Department of Computer Science, Iowa State University, Ames, IA, February 2004. [PDF]
  
  

2003

• Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok. How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. In First International Symposium on Formal Methods for Components and Objects (FMCO 02), Leiden, The Netherlands, November 5-8, 2002, page 262-284. Volume 2852 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2003.
  
  
• Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, and Erik Poll. An Overview of JML Tools and Applications. In Thomas Arts and Wan Fokkink (editors), Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS '03), Trondheim, Norway, June 5-7, 2003, pp. 73-89. Volume 80 of Electronic Notes in Theoretical Computer Science, Elsevier, June, 2003. (For a preprint, see Dept. of Computer Science, University of Nijmegen, Technical Report NIII-R0309) [PDF]
  
  
• Yoonsik Cheon. A Runtime Assertion Checker for the Java Modeling Language. Technical Report 03-09, Department of Computer Science, Iowa State University, Ames, IA, April 2003. The author's Ph.D. dissertation. [PDF] [PS]
  
  

2002

• Yoonsik Cheon and Gary T. Leavens. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. In Boris Magnusson (ed.), ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 2002, Proceedings. Volume 2374 of Lecture Notes in Computer Science, pages 231-255. Springer-Verlag, 2002. [PDF]
  
  
• Yoonsik Cheon and Gary T. Leavens. A Runtime Assertion Checker for the Java Modeling Language (JML). In Hamid R. Arabnia and Youngsong Mun (eds.), International Conference on Software Engineering Research and Practice (SERP '02), Las Vegas, Nevada, pages 322-328. CSREA Press, June 2002. [PDF]