Gamifying static analysis.

Lisa Nguyen Quang Do Eric Bodden

Published in: ESEC/SIGSOFT FSE (2018)

Keyphrases

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