Proceedings of the 35th Annual Computer Security Applications Conference
ACSAC '19
San Juan, Puerto Rico, USA
Association for Computing Machinery
New York, NY, USA
Pages 163-176
2019
Note(s):
symbolic execution,
hybrid testing Papers:
poeplau:usenix:2020
Papers related to Systematic comparison of symbolic execution systems: Intermediate representation and its generation
Symbolic execution with SymCC: Don't interpret, compile! [poeplau:usenix:2020]
The opinions expressed are my own views and not my employer’s.