Test Generation Using Symbolic Execution.

Patrice Godefroid

Published in: FSTTCS (2012)

Keyphrases

symbolic execution
test generation
test cases
static analysis
design automation
quality assurance
test data generation
software testing
code coverage
genetic algorithm
open source
life cycle
database
visual quality
software development
database systems
real world