Login / Signup

Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach.

Saahil OgnawalaThomas HutzelmannEirini PsallidaAlexander Pretschner
Published in: SAC (2018)
Keyphrases
  • symbolic execution
  • static analysis
  • test data generation
  • databases
  • source code
  • database
  • multi agent systems
  • query processing
  • domain independent
  • test generation