Dual analysis for proving safety and finding bugs.

Corneliu Popeea Wei-Ngan Chin

Published in: SAC (2010)

Keyphrases

data sets
neural network
databases
statistical analysis
genetic algorithm
social networks
image processing
image segmentation
wide range
relational databases
image analysis
hidden markov models
automatic analysis