Automated test generation for improved protocol testing
暂无分享,去创建一个
R. Chadha | R. Erickson | S. Jani | L. Ness | C. Ratel
[1] Dieter Hogrefe,et al. SDL - with applications from protocol specification , 1991, BCS practitioner series.
[2] John E. Hopcroft,et al. An n log n algorithm for minimizing states in a finite automaton , 1971 .
[3] Anton T. Dahbura,et al. Optimal test sequence generation for protocols: chinese postman algorithm applied to q. 931 , 1986 .