Effective typestate verification in the presence of aliasing.

Stephen J. Fink Eran Yahav Nurit Dor G. Ramalingam Emmanuel Geay

Published in: ISSTA (2006)

Keyphrases

data sets
artificial intelligence
computer vision
case study
high quality
wavelet transform
digital images
low cost
frequency domain