The S2E platform: Design, implementation, and applications

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

ACM Transactions on Computer Systems 30(1)
Association for Computing Machinery
New York, NY, USA
February 2012
Note(s): S2E verifier, symbolic execution

S2E verifier