Effects of automated static analysis tools: a multidimensional view on quality evolution.

Alexander Trautsch

Published in: ICSE (Companion Volume) (2019)

Keyphrases

static analysis
dynamic analysis
source code
high quality
malicious code
regular expressions
symbolic execution
test suite
java card
abstract interpretation
database systems
training data