Sign in
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution.
Weijiang Hong
Yijun Liu
Zhenbang Chen
Wei Dong
Ji Wang
Published in:
Frontiers Inf. Technol. Electron. Eng. (2020)
Keyphrases
</>
symbolic execution
static analysis
optimization problems
optimization algorithm
test generation
database
source code
programming language
test data generation
neural network
genetic algorithm
high level
objective function
query language
software systems
integrity constraints