The S2E Platform: Design, Implementation, and Applications

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea. The S2E Platform: Design, Implementation, and Applications. ACM Trans. Comput. Syst., 30(1):2, 2012. [doi]

Abstract

Abstract is missing.