一种综合数据流和控制流的协议测试集自动生成法

• Automatic test suite generator based on data-flow and data-selection