Login / Signup

SEDiff: scope-aware differential fuzzing to test internal function models in symbolic execution.

Penghui LiWei MengKangjie Lu
Published in: ESEC/SIGSOFT FSE (2022)
Keyphrases
  • symbolic execution
  • test generation
  • test data generation
  • neural network
  • real world
  • evolutionary algorithm