Scalable Testing/Reverse Engineering/Performance Profiling with Parallel and Selective Symbolic Execution
put your abstract here
George Candea & Stefan Bucur, EPFL, Lausanne, Switzerland
put your bio here
put your abstract here
put your bio here