A Parallel Branch and Bound Algorithm for Test Generation.
Srinivas PatilPrithviraj BanerjeePublished in: DAC (1989)
Keyphrases
- branch and bound algorithm
- test generation
- lower bound
- branch and bound
- test cases
- upper bound
- optimal solution
- np hard
- combinatorial optimization
- lower bounding
- single machine scheduling problem
- upper bounding
- quality assurance
- design automation
- symbolic execution
- variable ordering
- software testing
- randomly generated problems
- precedence constraints
- lagrangian relaxation
- static analysis
- mixed integer linear programming
- code coverage
- data sets
- branch and bound method
- linear programming
- software development
- finding an optimal solution
- max sat
- shared memory
- quality assessment
- metaheuristic
- objective function