Prioritizing static analysis results.

Brian Chess Jacob West

Published in: Datenschutz und Datensicherheit (2010)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
test generation
malicious code
regular expressions
artificial intelligence
information extraction
requirements engineering
test case generation