共 50 条
- [2] Executable test sequence for the protocol data flow property FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 285 - 299
- [3] Executable test sequence for the protocol control and data portions ICC 2000: IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CONFERENCE RECORD, VOLS 1-3: GLOBAL CONVERGENCE THROUGH COMMUNICATIONS, 2000, : 505 - 510
- [4] Executable test sequence for the protocol control and data flow property with overlapping ISCC 2002: SEVENTH INTERNATIONAL SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 2002, : 251 - 257
- [8] Executable EFSM-based data flow and control flow protocol test sequence generation using reachability analysis J Chin Inst Eng Trans Chin Inst Eng Ser A, 5 (593-615):
- [9] Executable EFSM-based data flow and control flow protocol test sequence generation using reachability analysis Journal of the Chinese Institute of Engineers, Transactions of the Chinese Institute of Engineers,Series A/Chung-kuo Kung Ch'eng Hsuch K'an, 1999, 22 (05): : 593 - 615
- [10] A method for executable protocol conformance test sequences generation using parametric executable analysis tree Journal of Computational Information Systems, 2015, 11 (06): : 2287 - 2294