A Systematic Review of Search Strategies in Dynamic Symbolic Execution.
Arash SabbaghiMohammad Reza KeyvanpourPublished in: Comput. Stand. Interfaces (2020)
Keyphrases
- search strategies
- systematic review
- symbolic execution
- search strategy
- search algorithm
- constraint programming
- retrieval effectiveness
- search methods
- evolutionary algorithm
- static analysis
- empirical studies
- heuristic search
- test data generation
- neural network
- branch and bound
- constraint satisfaction problems
- query expansion
- information retrieval systems
- software engineering
- object oriented
- probabilistic model
- search space
- high level