Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Scalable Testing/Reverse Engineering/Performance Profiling with Parallel and Selective Symbolic Execution

put your abstract here

George Candea & Stefan Bucur, EPFL, Lausanne, Switzerland

...