Matt Staats Corina S. Pasareanu Parallel symbolic execution for structural test generation. 183-194 2010 ISSTA http://doi.acm.org/10.1145/1831708.1831732 conf/issta/2010 db/conf/issta/issta2010.html#StaatsP10