Static Analysis of Data-Intensive Applications.

Published in: CSMR (2013)

Keyphrases

static analysis
dynamic analysis
source code
massive data sets
data mining applications
java card
data grids
regular expressions
data intensive
malicious code
symbolic execution
abstract interpretation
test suite
software engineering