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]

Bibliographies