Model-based testing of a highly programmable system

This publication has 9 references indexed in Scilit:

• The AETG system: an approach to testing based on combinatorial design
  IEEE Transactions on Software Engineering, 1997
• Applying design of experiments to software testing
  Published by Association for Computing Machinery (ACM) ,1997
• Generating test data with enhanced context-free grammars
  IEEE Software, 1990
• Automatic software test generation
  Information and Software Technology, 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
• Automatic generation of random self-checking test cases
  IBM Systems Journal, 1983
• Hints on Test Data Selection: Help for the Practicing Programmer
  Computer, 1978
• On the Automated Generation of Program Test Data
  IEEE Transactions on Software Engineering, 1976