Identifying successful strategies for resolving static analysis notifications.

Published in: ICSE (Companion Volume) (2016)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
abstract interpretation
test generation
java card
mobile applications
malicious code
database
domain knowledge