Parallel symbolic execution for structural test generation.

Matt Staats Corina S. Pasareanu

Published in: ISSTA (2010)

Keyphrases

test generation
symbolic execution
test cases
design automation
static analysis
quality assurance
test data generation
software testing
specification language
monitoring system
data flow