启发式探索的协议测试序列生成
舒挺;孙守迁;王海宁;徐伟强;李文书
Test Sequence Generation of a Communication Protocol by an Heuristic State Configuration Exploration
SHU Ting;SUN Shou-qian;WANG Hai-ning;XU Wei-qiang;LI Wen-shu
北京邮电大学学报
.
2009, (6): 120
-124
.
DOI: 10.13190/jbupt.200906.120.shut
