CCured in the real world.

Jeremy Condit Matthew Harren Scott McPeak George C. Necula Westley Weimer

Published in: PLDI (2003)

Keyphrases

real world
wide range
case study
database
data sets
data mining
information systems
real life
real time
neural network
clustering algorithm
domain knowledge
synthetic data
genetic algorithm
search engine
feature extraction