This website uses cookies
We use cookies to continuously improve your experience on our site. More info.
Hire software engineers — relocate or remote
Relocate.me supports GlossaryTech to keep it free for the community
QuickCheck
QuickCheck is a tool for testing Haskell programs automatically. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases.
| First released | 1999 |
| Developed by | Koen Claessen, John Hughes |
| Latest stable version | QuickCheck 2 |
| Open-source | Yes |