Test Generation and Fault Modeling for Stress Testing (invited).

Robert C. Aitken

Published in: ISQED (2002)

Keyphrases

test generation
test cases
test sequences
symbolic execution
software testing
design automation
quality assurance
static analysis
code coverage
fault diagnosis
mutation testing
test data generation
fault detection
databases
regression testing
case study
image processing