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

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