Summary Based Static Analysis for Practical Search for Defects in C Programs and Libraries.

Published in: ICST Workshops (2014)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
search algorithm
test data generation
search space
regular expressions
databases
real world
java card
malicious code
training data
digital libraries
simulated annealing
error rate