A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution.
Yan HuWeiqiang KongYizhi RenKim-Kwang Raymond ChooPublished in: IEEE Access (2017)
Keyphrases
- heuristic search
- search algorithm
- symbolic execution
- state space
- search space
- planning problems
- bidirectional search
- search problems
- state space search
- static analysis
- test data generation
- machine learning
- search strategies
- heuristic search algorithms
- pattern databases
- artificial intelligence
- orders of magnitude
- evaluation function
- general purpose
- heuristic function