S2E: A platform for in-vivo multi-path analysis of software systems

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS XVI
Newport Beach, California, USA
Association for Computing Machinery
New York, NY, USA
Pages 265-278
2011
Note(s): S2E verifier, symbolic execution

S2E verifier