Ulf Norell, Hans Svensson, Thomas Arts. Testing blocking operations with QuickCheck's component library. In Steve Vinoski, Laura M. Castro, editors, Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, Boston, Massachusetts, USA, September 28, 2013. pages 87-92, ACM, 2013. [doi]
Abstract is missing.