Enforcing object protocols by combining static and runtime analysis.

Madhu Gopinathan Sriram K. Rajamani

Published in: OOPSLA (2008)

Keyphrases

data analysis
image analysis
neural network
artificial intelligence
databases
real world
machine learning
object tracking
complex objects
dynamic analysis