Using TTCN-3 to Test SPDY Protocol Interaction Property | IEEE Conference Publication | IEEE Xplore