Login / Signup

Leveraging abstract interpretation for efficient dynamic symbolic execution.

Eman AlatawiHarald SøndergaardTim Miller
Published in: ASE (2017)
Keyphrases
  • symbolic execution
  • static analysis
  • abstract interpretation
  • dynamic analysis
  • integrity constraints
  • database
  • fine grained
  • orders of magnitude
  • matching algorithm