Abstract Analysis of Symbolic Executions.

Aws Albarghouthi Arie Gurfinkel Ou Wei Marsha Chechik

Published in: CAV (2010)

Keyphrases

neural network
decision trees
image analysis
low level
image processing
case study
bayesian networks
computational complexity
data analysis
statistical analysis
quantitative analysis