Making the non-executable ACATS tests executable.

Dan Eilers Tero Koskinen

Published in: SIGAda (2011)

Keyphrases

formal specification
computer vision
case study
probability distribution
artificial intelligence
metadata
image processing
feature extraction
multiresolution