Tutorial
A JET tutorial is available as
HTML and
PDF
documents.
API Specifications
Browse the
API
specifications of the JET implementation.
Technical Papers
-
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]
-
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.
[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.
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]
-
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]
Last modified: $Id: doc.php,v 1.4 2008/10/01 05:14:35 cheon Exp $
