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