A Combined Control and Data Flow Method for Protocol Testing Based on Construct Type Algebra

• 基于构造类别代数的数据流和控制流相结合的协议测试