Cloud9 and S2E: Parallel and Selective Symbolic Execution

put your abstract here

George Candea & Stefan Bucur, EPFL, Lausanne, Switzerland

put your bio here