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 6/7/2026
Evidence 4 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
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
3 connectionsQCVEngine leverages Haskell's QuickCheck library for generating, comparing, and shrinking instruction sequences.
Smart shrinking augments QuickCheck's built-in shrinking with intelligent transformations.
QuickCheckVEngine uses Haskell's QuickCheck library to generate tests and shrink counterexamples.
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