Hierarchical Test Generation Using Precomputed Tests for Modules.

Brian T. Murray John P. Hayes

Published in: ITC (1988)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
mutation testing
software testing
static analysis
quality assurance
code coverage
hierarchical structure
building blocks
object oriented
data sets
multi agent
case study
real world