Behavioral-Test Generation using Mixed-Integer Non-linear Programming.

R. S. Ramchandani Donald E. Thomas

Published in: ITC (1994)

Keyphrases

mixed integer
test generation
test cases
linear program
lot sizing
feasible solution
benders decomposition
static analysis
optimal solution
convex hull
network design problem
continuous relaxation
quality assurance
continuous variables
software testing
linear programming
evolutionary algorithm
objective function