Column Generation for Interaction Coverage in Combinatorial Software Testing.
Serdar KadiogluPublished in: CoRR (2017)
Keyphrases
- column generation
- software testing
- white box testing
- code coverage
- test suite
- test cases
- branch and bound
- software development
- linear programming
- linear program
- black box
- integer programming
- quality assurance
- vehicle routing
- mixed integer programming
- lagrangean relaxation
- constraint programming
- integer program
- set partitioning
- regression testing
- software engineering
- optimal solution
- linear programming relaxation
- software systems
- integer linear programming
- vehicle routing problem with time windows
- cutting plane
- test generation
- integration testing
- test data generation
- formal specification
- database systems
- testing process
- simulated annealing
- upper bound
- dantzig wolfe decomposition
- database