Koen Claessen, John Hughes 0001. Testing monadic code with QuickCheck. In Manuel M. T. Chakravarty, editor, Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002. pages 65-77, ACM, 2002. [doi]
Abstract is missing.