Sign in
A segmented memory model for symbolic execution.
Timotej Kapus
Cristian Cadar
Published in:
ESEC/SIGSOFT FSE (2019)
Keyphrases
</>
symbolic execution
high level
pattern matching