机译:Modeling and Testing of Network Protocols with Parallel State Machines
Tsinghua Univ, Dept Comp Sci & Technol, Beijing 100084, Peoples R China;
Tsinghua Univ, Inst Network Sci & Cyberspace, Beijing 100084, Peoples R China;
conformance testing; model-based testing; Parallel Parameterized Extended Finite State Machines; Source Address Validation Improvements;