Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
We present a technique to automatically generate search heuristics for dynamic symbolic execution. A key challenge in dynamic symbolic execution is how to effectively explore the program's execution paths to achieve high code coverage in a limited time budget. Dynamic symbolic execution employs a search heuristic to address this challenge, …