Login / Signup
Tackling the Path Explosion Problem in Symbolic Execution-Driven Test Generation for Programs.
Saparya Krishnamoorthy
Michael S. Hsiao
Loganathan Lingappan
Published in:
Asian Test Symposium (2010)
Keyphrases
</>
symbolic execution
test generation
test cases
design automation
static analysis
test data generation
software testing
quality assurance
databases
source code
code coverage
image processing
specification language
database
test set