Login / Signup
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