BDGSE: A Symbolic Execution Technique for High MC/DC. - Huangli Cai; Zhiyi Zhang 004; Yifan Jian; Dan Li 018; Zhiqiu Huang (QRS, 2023)