Login / Signup

A segmented memory model for symbolic execution.

Timotej KapusCristian Cadar
Published in: ESEC/SIGSOFT FSE (2019)
Keyphrases
  • symbolic execution
  • high level
  • pattern matching