Zhang, Wang, Dong, Liang, Shi, n.d.. Test Case Generation Assisted by Control Dependence Analysis.