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

郭雄辉,赵保华,周颢,屈玉贵

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

GUO Xiong-hui,ZHAO Bao-hua,ZHOU Hao,QU Yu-gui

北京邮电大学学报 . 2003, (S2): 7 -11 .