Keyword : Source Address Validation Improvements

Modeling and Testing of Network Protocols with Parallel State Machines
Xia YIN Jiangyuan YAO Zhiliang WANG Xingang SHI Jun BI Jianping WU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/12/01
Vol. E98-D  No. 12 ; pp. 2091-2104
Type of Manuscript:  Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking)
Category: Network
conformance testingmodel-based testingParallel Parameterized Extended Finite State MachinesSource Address Validation Improvements
 Summary | Full Text:PDF(1.6MB)