Automatically Refining Abstract Interpretations.

Bhargav S. Gulavani Supratik Chakraborty Aditya V. Nori Sriram K. Rajamani

Published in: TACAS (2008)

Keyphrases

automatically generated
multiresolution
real world
cooperative
data mining
genetic algorithm
artificial intelligence
decision making
image processing
multimedia
three dimensional
video sequences
higher level