Handling dynamic data structures in search based testing

This publication has 16 references indexed in Scilit:

• CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
  2006
• DART
  ACM SIGPLAN Notices, 2005
• Execution Generated Test Cases: How to Make Systems Code Crash Itself
  2005
• Evolutionary testing of classes
  2004
• Generalized Symbolic Execution for Model Checking and Testing
  2003
• Generating software test data by evolution
  IEEE Transactions on Software Engineering, 2001
• Automatic structural testing using genetic algorithms
  Software Engineering Journal, 1996
• Experimental results from an automatic test case generator
  ACM Transactions on Software Engineering and Methodology, 1993
• Automated software test data generation
  IEEE Transactions on Software Engineering, 1990
• Symbolic execution and program testing
  Communications of the ACM, 1976