JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM ›› 2009, Vol. 32 ›› Issue (6): 120-124.doi: 10.13190/jbupt.200906.120.shut
• Reports • Previous Articles Next Articles
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
- (1.College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China;
2.College of Informatics and Electronics, Zhejiang Sci-Tech University, Hangzh
ou 310018, China)