Dynamic redundancy identification in automatic test generation.

Miron Abramovici David T. Miller Rabindra K. Roy

Published in: ICCAD (1989)

Keyphrases

test generation
dynamic environments
test cases
quality assurance
test sequences
design automation
pattern matching
symbolic execution
static analysis