Login / Signup
Large-scale configurable static analysis.
Mayur Naik
Published in:
SOAP@PLDI (2014)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
regular expressions
malicious code
java card
abstract interpretation
small scale
test generation
data sets
real world
data mining
test case generation
decision trees
data sources