QuickCheck
ToolQuickCheck is cited as a lightweight tool for random testing of Haskell programs. In the provided RISC-V randomized-testing evidence, QCVEngine uses QuickCheck’s built-in shrinking strategies to reduce counterexamples, with additional smart shrinking layered on top.
First seen 5/27/2026
Last seen 7/19/2026
Evidence 6 chunks
Wiki v1
WIKI
Overview
QuickCheck is identified in the evidence as “a lightweight tool for random testing of Haskell programs,” in a publication by Koen Claessen and John Hughes in ACM SIGPLAN Notices 46(4), 2011.
Role in QCVEngine-based testing
NEIGHBORHOOD
2 nodes · 1 edgesgraph · QuickCheck · depth=1
RELATIONSHIPS
3 connectionsQCVEngine leverages Haskell's QuickCheck library for generating, comparing, and shrinking instruction sequences.
QuickCheckVEngine uses Haskell's QuickCheck library for test generation.
Smart shrinking augments QuickCheck's built-in shrinking with intelligent transformations.
LINKED ENTITIES
1 linksCITATIONS
4 sources4 citations — click to collapse
[1] QuickCheck is a lightweight tool for random testing of Haskell programs. Randomized Testing of RISC-V CPUs using Direct
[2] The cited QuickCheck publication is by Koen Claessen and John Hughes and appears in ACM SIGPLAN Notices 46(4), 2011. Randomized Testing of RISC-V CPUs using Direct
[3] QCVEngine/TestRIG primarily relies on QuickCheck's built-in shrinking strategies and augments them with smart shrinking functions. Randomized Testing of RISC-V CPUs using Direct
[4] After QCVEngine finds a counterexample, QuickCheck's built-in list-shrinking function removes sequences and tests again to try to eliminate instructions irrelevant to the erroneous behavior. Randomized Testing of RISC-V CPUs using Direct