Project Description

Selected Papers

• A Comparative Evaluation of Tests Generated from Different UML Diagrams. Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik and Andrea Baldini. Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2008), pages 867-872, Phuket Thailand, August 2008. [Abstract]       [PDF]

• Generating Test Data From State-based Specifications. Jeff Offutt, Shaoying Liu, Aynur Abdurazik and Paul Ammann. The Journal of Software Testing, Verification and Reliability, 13(1):25-53, March 2003. [Abstract]       [PDF]

• Using UML Collaboration Diagrams for Static Checking and Test Generation. Jeff Offutt and Aynur Abdurazik. The Third International Conference on the Unified Modeling Language (UML '00), pages 383-395, York, UK, October 2000.

• Evaluation of Three Specification-based Testing Criteria. Aynur Abdurazik, Paul Ammann, Wei Ding and Jeff Offutt. Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '00), pages 179-187, Tokyo, Japan, September 2000.

• Generating Test Data from SOFL Specifications. Jeff Offutt and Shaoying Liu. The Journal of Systems and Software, 49(1):49-62, December 1999.

• Generating Tests from UML Specifications. Jeff Offutt and Aynur Abdurazik. Second International Conference on the Unified Modeling Language (UML99), pages 416-429, Fort Collins, CO, October 1999.

• Criteria for Generating Specification-based Tests. Jeff Offutt, Yiwei Xiong and Shaoying Liu. Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '99), pages 119-131, Las Vegas, NV, October 1999.

• Using Formal Methods To Derive Test Frames in Category-Partition Testing. Paul Ammann and Jeff Offutt. Ninth Annual Conference on Computer Assurance (COMPASS 94), pages 69-80, Gaithersburg, Maryland, June 1994.

Other links

• Co-authors: Aynur Abdurazik, Shaoying Liu, Yiwei Xiong, Paul Ammann.

Back to my home page.