Automated EFSM-based test case generation with scatter search.
Jie ZhangRui YangZhenyu ChenZhihong ZhaoBaowen XuPublished in: AST (2012)
Keyphrases
- scatter search
- test case generation
- finite state machines
- metaheuristic
- path relinking
- test cases
- software testing
- tabu search
- object oriented systems
- test data generation
- routing problem
- object oriented
- test suite
- vehicle routing problem
- ant colony optimization
- objective function
- databases
- static analysis
- branch and bound algorithm
- search space
- case study