Hierarchical Test Generation Based on Delayed Propagation.

Margot Karam Régis Leveugle Gabriele Saucier

Published in: ITC (1991)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
quality assurance
static analysis
mutation testing
code coverage
hierarchical structure
software testing
test data generation
information systems
case study
high level
monitoring system