Tag #quickcheck
8 papers:
CASE-2019-ThonnessenSFCK #safety #testing #using- Testing Safety PLCs Using QuickCheck (DT, NS, MF, KC, SK), pp. 1–6.
Haskell-2018-MistaRH #branch #generative #process- Branching processes for QuickCheck generators (AM, AR, JH), pp. 1–13.
CEFP-2009-Hughes #testing- Software Testing with QuickCheck (JH), pp. 183–223.
ICFP-2009-ClaessenPSHSAW #erlang- Finding race conditions in Erlang with QuickCheck and PULSE (KC, MHP, NS, JH, HS, TA, UTW), pp. 149–160.
IFL-2007-LiT #erlang #refactoring #testing- Testing Erlang Refactorings with QuickCheck (HL, SJT), pp. 19–36.
PADL-2007-Hughes #testing- QuickCheck Testing for Fun and Profit (JH), pp. 1–32.
AFP-2002-ClaessenRCHW02 #functional #lazy evaluation #source code #testing #using- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat (KC, CR, OC, JH, MW), pp. 59–99.
- ICFP-2000-ClaessenH #haskell #lightweight #named #random testing #source code #testing
- QuickCheck: a lightweight tool for random testing of Haskell programs (KC, JH), pp. 268–279.
