Using Verification Technology for Validation Coverage Analysis and Test Generation.

Dinos Moundanos Jacob A. Abraham

Published in: VTS (1998)

Keyphrases

test generation
code coverage
static analysis
test sequences
databases
high level
image data
image processing
high quality
cooperative
quality assurance