Login / Signup
Using groupings of static analysis alerts to identify files likely to contain field failures.
Mark Sherriff
Sarah Smith Heckman
J. Michael Lake
Laurie A. Williams
Published in:
ESEC/SIGSOFT FSE (2007)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
malicious code
decision trees
intrusion detection
file system
test suite
test generation
abstract interpretation
data model
integrity constraints
third party
regular expressions
java card