Combining Analyses for C Program Verification.

Loïc Correnson Julien Signoles

Published in: FMICS (2012)

Keyphrases

data sets
artificial intelligence
feature extraction
probabilistic model
genetic algorithm
similarity measure
support vector
object recognition
digital libraries
statistical analysis