Random or heuristic? An empirical study on path search strategies for test generation in KLEE.
Zhiyi ZhangZiyuan WangFan YangJiahao WeiYuqian ZhouZhiqiu HuangPublished in: J. Syst. Softw. (2022)
Keyphrases
- search strategies
- test generation
- simplex method
- search strategy
- test cases
- search algorithm
- static analysis
- retrieval effectiveness
- linear programming
- search procedures
- constraint programming
- quality assurance
- linear program
- search methods
- constraint satisfaction
- heuristic search
- evolutionary algorithm
- convergence rate
- test collection
- database systems
- branch and bound
- optimization problems
- special case
- probabilistic model
- computational complexity