QuickCheck: a lightweight tool for random testing of Haskell programs

Koen Claessen, John Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In ICFP. pages 268-279, 2000. [doi]

Authors

Koen Claessen

Identified as Koen Claessen

John Hughes

Identified as John Hughes