Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation.

Dong Yan Linjie Pan Rongjie Yan Jun Yan Jian Zhang

Published in: COMPSAC (1) (2017)

Keyphrases

static analysis
source code
dynamic analysis
test suite
symbolic execution
malicious code
java card
test case generation
test generation
software systems
software maintenance
abstract interpretation
data sets
data management
software development
open source
high level
data mining
databases