Hierarchical test generation: Where we are, and where we should be going.

James R. Armstrong

Published in: EURO-DAC (1993)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
static analysis
quality assurance
software testing
hierarchical structure
cooperative
mutation testing
vision system
image data
information technology
metadata
information systems
machine learning
code coverage
databases