Login / Signup
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).
Guofeng Zhang
Ziqi Shuai
Kelin Ma
Kunlin Liu
Zhenbang Chen
Ji Wang
Published in:
FASE (2024)
Keyphrases
</>
symbolic execution
static analysis
databases
general purpose
neural network
training data
relational databases
search space
optimization algorithm