Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification.

Aws Albarghouthi Yi Li Arie Gurfinkel Marsha Chechik

Published in: CAV (2012)

Keyphrases

main contribution
real time
data mining
computational framework
image interpolation
genetic algorithm
image processing
website
image segmentation
reinforcement learning
search algorithm
semi supervised
image registration
theoretical framework
conceptual framework
framework enables