Practical and accurate pinpointing of configuration errors using static analysis.

Zhen Dong Artur Andrzejak Kun Shao

Published in: ICSME (2015)

Keyphrases

static analysis
dynamic analysis
source code
error analysis
malicious code
symbolic execution
test suite
open source
test generation
optimal configuration
real world
regular expressions
java card
case study
abstract interpretation