Generating test cases from an OO model with an AI planning system

This publication has 16 references indexed in Scilit:

• Using model checking to generate tests from specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Using a goal-driven approach to generate test cases for GUIs
  Published by Association for Computing Machinery (ACM) ,1999
• Software architecture in industrial applications
  Published by Association for Computing Machinery (ACM) ,1995
• Test selection based on finite state models
  IEEE Transactions on Software Engineering, 1991
• Generating test data with enhanced context-free grammars
  IEEE Software, 1990
• The category-partition method for specifying and generating fuctional tests
  Communications of the ACM, 1988
• The Automatic Generation of Test Data
  The Computer Journal, 1987
• An Automatic Generator for Compiler Testing
  IEEE Transactions on Software Engineering, 1982
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978
• A sentence generator for testing parsers
  BIT Numerical Mathematics, 1972