Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing.

Maria Christakis Patrice Godefroid

Published in: VMCAI (2015)

Keyphrases

image data
image features
single image
image retrieval
input image
image content
edge detection
image processing algorithms
image segmentation
segmentation algorithm
vector field
template matching
low level
image classification
image noise
test images
image collections
image analysis
natural language
feature points
grey level
region of interest
aerial images
image pixels
hough transform
memory requirements
image set
spatial information
high resolution
face recognition