@article{DBLP:journals/tocs/ChipounovKC12, author = {Vitaly Chipounov and Volodymyr Kuznetsov and George Candea}, title = {The S2E Platform: Design, Implementation, and Applications}, journal = {ACM Trans. Comput. Syst.}, volume = {30}, number = {1}, year = {2012}, pages = {2}, ee = {http://doi.acm.org/10.1145/2110356.2110358}, bibsource = {DBLP, http://dblp.uni-trier.de} }