The species per path approach to SearchBased test data generation

This publication has 19 references indexed in Scilit:

• Branch-Coverage Testability Transformation for Unstructured Programs
  The Computer Journal, 2005
• Testability transformation
  IEEE Transactions on Software Engineering, 2004
• Automatic structural testing using genetic algorithms
  Software Engineering Journal, 1996
• The chaining approach for software test data generation
  ACM Transactions on Software Engineering and Methodology, 1996
• Software testability: the new verification
  IEEE Software, 1995
• Experimental results from an automatic test case generator
  ACM Transactions on Software Engineering and Methodology, 1993
• Dynamic method for software test data generation
  Software Testing, Verification and Reliability, 1992
• Automated software test data generation
  IEEE Transactions on Software Engineering, 1990
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987
• Symbolic execution and program testing
  Communications of the ACM, 1976