Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and Sockets (2005)

by Steve Bishop , Matthew Fairbairn , Michael Norrish , Peter Sewell , Michael Smith , Keith Wansbrough
Venue:In Proceedings of ACM Conference on Computer Communication (SIGCOMM 2005
Citations:35 - 12 self