Login / Signup
The challenges of constraint-based test generation.
Vitaly Lagoon
Published in:
PPDP (2011)
Keyphrases
</>
test generation
test cases
design automation
test sequences
symbolic execution
quality assurance
static analysis
lessons learned
software testing
database
real world
mutation testing
information systems
software development
life cycle