You are viewing an old version of this page. View the current version.

Compare with Current View Page History

Version 1 Next »

Parallelized Software Testing at Scale using SMT Solvers

put your abstract here

Stefan Bucur & George Candea, EPFL, Lausanne, Switzerland

put your bio here

  • No labels