Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu. Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines. In 22nd International Conference on Computer Communication and Networks, ICCCN 2013, Nassau, Bahamas, July 30 - Aug. 2, 2013. pages 1-9, IEEE, 2013. [doi]
Abstract is missing.