StressTest: an automatic approach to test generation via activity monitors.

Ilya Wagner Valeria Bertacco Todd M. Austin

Published in: DAC (2005)

Keyphrases

test generation
test cases
test sequences
design automation
symbolic execution
software testing
quality assurance
real world
image data
high frequency
static analysis
regression testing