Extracting configuration parameter interactions using static analysis.

Chelsea A. Metcalf Farhaan Fowze Tuba Yavuz José Fortes

Published in: ICPC (2016)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
test suite
regular expressions
parameter values
test generation
databases
abstract interpretation
case study
data management