Integer Programming Models for Optimization Problems in Test Generation.

João P. Marques Silva

Published in: ASP-DAC (1998)

Keyphrases

integer programming
optimization problems
test generation
linear programming
np hard
test cases
lagrangian relaxation
set covering problem
artificial intelligence
dynamic programming
test set
constraint programming
cutting plane
evolutionary algorithm
constraint satisfaction problems
column generation