Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees.
Sébastien LapierreEttore MerloGilles SavardGiuliano AntoniolRoberto FiutemPaolo TonellaPublished in: ICSM (1999)
Keyphrases
- test data generation
- mixed integer linear programming
- symbolic execution
- cutting plane
- search based testing
- test cases
- branch and bound algorithm
- simulated annealing algorithm
- mixed integer
- mathematical programming
- mixed integer nonlinear programming
- decision trees
- neural network
- production planning
- software testing
- convex hull
- special case
- lower bound