Login / Signup
Verification Using Test Generation Techniques.
Vlad Rusu
Published in:
FME (2002)
Keyphrases
</>
test generation
symbolic execution
test cases
test sequences
quality assurance
static analysis
mutation testing
design automation
software testing
life cycle
test data generation
code coverage
data sets
regression testing