The economics of static analysis tools.

Rahul Kumar Aditya V. Nori

Published in: ESEC/SIGSOFT FSE (2013)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
test generation
symbolic execution
abstract interpretation
computational intelligence
building blocks
java card
data sets
real world
keywords
regular expressions