Testing with Partial Traced Requirements: A Necessary Step Towards Higher Quality System Level Verification.

Published in: RE (2003)

Keyphrases

higher quality
high quality
reconstructed image
post processing
perceived quality
computer vision
model checking
video sequences
formal verification
spatial resolution
image reconstruction
symbolic execution
test generation
principal component analysis
feature space
similarity measure
decision trees