Time-aware test-case prioritization using integer linear programming.
Lu ZhangShan-Shan HouChao GuoTao XieHong MeiPublished in: ISSTA (2009)
Keyphrases
- integer linear programming
- test cases
- regression testing
- column generation
- test suite
- test data
- software testing
- black box
- test set
- test case generation
- set of test cases
- number of test cases
- boolean satisfiability
- test sequences
- object oriented
- test suite reduction
- test data generation
- software maintenance
- pseudo boolean
- global constraints
- symmetry breaking
- perfect phylogeny
- boolean optimization
- test case selection
- cutting plane
- test generation
- case study
- testing process
- database
- integer program
- linear programming
- simulated annealing
- training data
- databases