Guided Static Analysis.

Denis Gopan Thomas W. Reps

Published in: SAS (2007)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
regular expressions
test generation
abstract interpretation
artificial intelligence
test suite