数据流控制流相叠加的可执行测试序列生成研究
魏仰苏 孟兆航 舒挺
Research on generation of executable test sequences overlapping data flow and control flow
计算机工程与应用 . 2007, (10): 121 -124 .