ADTEST: a test data generation suite for Ada software systems

This publication has 9 references indexed in Scilit:

• The chaining approach for software test data generation
  ACM Transactions on Software Engineering and Methodology, 1996
• An experimental evaluation of a symbolic execution system
  Software Engineering Journal, 1992
• A rule-based software test data generator
  IEEE Transactions on Knowledge and Data Engineering, 1991
• Symbolic execution and testing
  Information and Software Technology, 1991
• Trial‐and‐error method for automated test data generation and its evaluation
  Systems and Computers in Japan, 1989
• A Domain Strategy for Computer Program Testing
  IEEE Transactions on Software Engineering, 1980
• Automatic Generation of Floating-Point Test Data
  IEEE Transactions on Software Engineering, 1976
• An Approach to Program Testing
  ACM Computing Surveys, 1975
• Variations on Variable-Metric Methods
  Mathematics of Computation, 1970