Login / Signup

FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).

Guofeng ZhangZiqi ShuaiKelin MaKunlin LiuZhenbang ChenJi Wang
Published in: FASE (2024)
Keyphrases
  • symbolic execution
  • static analysis
  • databases
  • general purpose
  • neural network
  • training data
  • relational databases
  • search space
  • optimization algorithm