Parallel symbolic execution for structural test generation.

Matt Staats, Corina S. Pasareanu

Browse the full ISSTA paper archive.