Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines.

Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu

Browse the full ICCCN paper archive.