BDGSE: A Symbolic Execution Technique for High MC/DC.

Huangli Cai Zhiyi Zhang Yifan Jian Dan Li Zhiqiu Huang

Published in: QRS (2023)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
neural network
artificial intelligence
source code