Research on generation of executable test sequences overlapping data flow and control flow

• 数据流控制流相叠加的可执行测试序列生成研究