Yoonsik Cheon's Recent Publications

2012

• Yoonsik Cheon, Extending Java for Android Programming, Technical Report 12-13, Department of Computer Science, University of Texas at El Paso, El Paso, TX, April 2012. [PDF]

• Yoonsik Cheon, Cesar Yeep, and Melisa Vela, The CleanJava Language for Functional Program Verification, International Journal of Software Engineering, 5(1):47-68, January 2012. [PDF]

2011

• Carmen Avila and Yoonsik Cheon, Functional Verification of Class Invariants in CleanJava, International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, December 3-12, 2011, IEEE. [PDF]

• Pedro Flores and Yoonsik Cheon, PWiseGen: Generating Test Cases for Pairwise Testing Using Genetic Algorithms, 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE 2011), June 10-12, 2011, Shanghai, China, pages 747-752, IEEE Computer Society. [DOI: 10.1109/CSAE.2011.5952610]

• Yoonsik Cheon, Cesar Yeep and Melisa Vela. CleanJava: A Formal Notation for Functional Program Verification, ITNG 2011: 8th International Conference on Information Technology, April 11-13, 2011, Las Vegas, Nevada, pages 221-226, IEEE Computer Society. [DOI: 10.1109/ITNG.2011.46]

2010

• Yoonsik Cheon and Melisa Vela. A Tutorial on Functional Program Verification, Technical Report 10-26, Department of Computer Science, University of Texas at El Paso, El Paso, TX, September 2010. [PDF]

• Yoonsik Cheon. Functional Specification and Verification of Object-Oriented Programs, Technical Report 10-23, Department of Computer Science, University of Texas at El Paso, El Paso, TX, August 2010. [PDF]

• Amritam Sarcar and Yoonsik Cheon. A New Eclipse-Based JML Compiler Built Using AST Merging, Second World Congress on Software Engineering (WCSE 2010), December 19-20, 2010, Wuhan, China, pages 287-292, IEEE Computer Society. [DOI: 10.1109/WCSE.2010.92]

• Carlos Rubio and Yoonsik Cheon. Access Control Contracts for Java Program Modules, 5th IEEE International Workshop on Security, Trust, and Privacy for Software Applications (STPSA 2010), July 19-23, 2010, Seoul, Korea. [PDF]

• Carmen Avila, Amritam Sarcar, Yoonsik Cheon, and Cesar Yeep. Runtime Constraint Checking Approaches for OCL, A Critical Comparison, 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE 2010), July 1-3, 2010, San Francisco, CA, pages 393-398. [PDF]

• Yoonsik Cheon and Carmen Avila. Automating Java Program Testing Using OCL and AspectJ. ITNG 2010: Seventh International Conference on Information Technology, April 12-14, 2010, Las Vegas, NV, pages 1020-1025, IEEE Computer Society. [DOI: 10.1109/ITNG.2010.123]

2009

• Yoonsik Cheon, Carmen Avila, Steve Roach, and Cuauhtemoc Munoz. Checking Design Constraints at Run-time Using OCL and AspectJ, International Journal of Software Engineering, 2(3):5-28, December 2009. [PDF]

• Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, and Jessica Romo. An Aspect-Based Approach to Checking Design Constraints at Run-time. ITNG 2009: 6th International Conference on Information Technology: New Generations, April 27-29, 2009, Las Vegas, NV, pages 223-228, IEEE Computer Society. [DOI: 10.1109/ITNG.2009.282]

2008

• Yoonsik Cheon, Antonio Cortes, Martine Ceberio, and Gary T. Leavens. Integrating Random Testing with Constraints for Improved Efficiency and Diversity. In Proceedings of SEKE 2008, The 20-th International Conference on Software Engineering and Knowledge Engineering, July 1-3, 2008, San Francisco, CA, pages 861-866, July 2008. [PDF]

• Carmen Avila, Guillermo Flores, Jr., and Yoonsik Cheon. A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking, International Conference on Software Engineering Research and Practice, July 14-17, 2008, Las Vegas, Nevada, U.S.A., pages 403-408, July 2008. [PDF]

• Myoung Yee Kim and Yoonsik Cheon. A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs. International Conference on Software Testing, Verification, and Validation, Norway, April 9-11, 2008, pages 537-540, IEEE Computer Society. [DOI: 10.1109/ICST.2008.31]

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. [DOI: 10.1109/QSIC.2007.4385528]

• 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 Initial 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]