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

Huangli Cai, Zhiyi Zhang, Yifan Jian, Dan Li, Zhiqiu Huang

Browse the full QRS paper archive.