Systematic comparison of symbolic execution systems: Intermediate representation and its generation

Sebastian Poeplau, Aurélien Francillon
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

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