Login / Signup

Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization.

Guofeng ZhangZhenbang ChenZiqi ShuaiYufeng ZhangJi Wang
Published in: APSEC (2022)
Keyphrases
  • symbolic execution
  • static analysis
  • specification language
  • neural network
  • artificial intelligence
  • object oriented