Algebraic Specifications and Sequencing: A Defect Detection Method.

Kurt M. Olender James M. Bieman

Published in: Softw. Test. Verification Reliab. (1995)

Keyphrases

detection method
detection algorithm
face detection
feature detection
formal specification
saliency detection
machine learning
computer vision
multiscale