A Constraint Solver for Code-based Test Data Generation.
J. Jenny LiW. Eric WongXiao MaDavid M. WeissPublished in: SEKE (2005)
Keyphrases
- test data generation
- constraint solver
- symbolic execution
- constraint solving
- test cases
- search based testing
- constraint propagation
- simulated annealing algorithm
- linear constraints
- constraint programming
- software testing
- constraint satisfaction
- constraint satisfaction problems
- real numbers
- generation algorithm
- source code
- fitness function
- constraint logic programming
- logic programs
- neural network
- test generation
- sat solvers
- heuristic search
- software development
- dynamic programming
- special case
- evolutionary algorithm
- training data