Verifying dereference safety via expanding-scope analysis.

Alexey Loginov Eran Yahav Satish Chandra Stephen Fink Noam Rinetzky Mangala Gowri Nanda

Published in: ISSTA (2008)

Keyphrases

automatic analysis
statistical analysis
image analysis
cooperative
neural network
data analysis
pattern recognition
wide range
databases
similarity measure
support vector
search algorithm
search engine
object recognition
artificial intelligence
genetic algorithm
mobile robot
machine learning