Javier Paris, Thomas Arts. Automatic testing of TCP/IP implementations using QuickCheck. In Clara Benac Earle, Simon J. Thompson, editors, Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009. pages 83-92, ACM, 2009. [doi]
Abstract is missing.