S2E: A Platform for (2011)

by V Chipounov, V Kuznetsov, G Candea
Venue:In Vivo Multi-Path Analysis of Software Systems," in Conference on Architectural Support for Programming Languages and Operating Systems