S2E: a platform for in-vivo multi-path analysis of software systems.

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea

Browse the full ASPLOS paper archive.