Sign in
Automatic mapping of configuration options in software using static analysis.
Junyong Wang
Thar Baker
Yingnan Zhou
Ali Ismail Awad
Bin Wang
Yongsheng Zhu
Published in:
J. King Saud Univ. Comput. Inf. Sci. (2022)
Keyphrases
</>
static analysis
dynamic analysis
source code
regular expressions
symbolic execution
java card
abstract interpretation
test suite
software systems
test generation
software development
query language
data sets
semi automatic
software maintenance
open source
database systems