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
Association for Computing Machinery
New York, NY, USA
February 2012
Note(s): S2E verifier, symbolic execution