Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing.
Jun YanJian ZhangPublished in: COMPSAC (1) (2006)
Keyphrases
- test suite
- search heuristics
- backtracking algorithms
- search algorithm
- test suite reduction
- test cases
- constraint programming
- constraint propagation
- test case generation
- model checker
- software testing
- constraint satisfaction problems
- testing process
- constraint networks
- tabu search
- number of test cases
- constraint satisfaction
- beam search
- search strategy
- code coverage
- path consistency
- arc consistency
- forward checking
- backtracking search
- test generation
- satisfiability problem
- object oriented
- search procedures
- evolutionary algorithm
- training data
- heuristic search
- test set