Semi-Formal Test Generation with Genevieve.

Julia Dushina Mike Benjamin Daniel Geist

Published in: DAC (2001)

Keyphrases

test generation
test cases
test sequences
symbolic execution
static analysis
design automation
software testing
quality assurance
mutation testing
database
information systems
life cycle
formal specification
test data generation