Integrity Static Analysis of COTS/SOUP.

Peter G. Bishop Robin E. Bloomfield Tim Clement Sofia Guerra Claire Jones

Published in: SAFECOMP (2003)

Keyphrases

static analysis
dynamic analysis
source code
third party
symbolic execution
test generation
regular expressions
malicious code
decision support
software components
limited resources
integrity constraints
test suite
abstract interpretation
real world
training data
data mining