QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs - Claessen and Hughes Type: paper View reference Related Concepts Property-Based Testing ← Back to all references