Counterexample-Guided Prefix Refinement Analysis for Program Verification.

Published in: ISoLA (Revised Selected Papers) (2014)

Keyphrases

automatic analysis
statistical analysis
wide range
data structure
data sets
decision trees
website
real world
databases
e learning
computer vision
genetic algorithm
expert systems
image analysis
multiresolution
neural network
model checking
quantitative analysis