An Immune System Inspired Approach to Automated Program Verification

Soumya Banerjee

Published in: CoRR (2009)

Keyphrases

semi automated
artificial immune system
immune systems
data driven
automated analysis
preprocessing
simulated annealing
fully automatic
fully automated
database
data sets
multimedia
semi automatic
automated classification