The New Quickcheck for Isabelle - Random, Exhaustive and Symbolic Testing under One Roof
No abstract available.
DOI 10.1007/978-3-642-35308-6_10
Related papers
- QuickCheck: a lightweight tool for random testing of Haskell programs ICFP 2000
- QuickChecking Convergence of Rewriting Systems (Functional Pearl) ICFP 2026
- Smallcheck and lazy smallcheck: automatic exhaustive testing for small values Haskell 2008
- Evaluating Shrinking (Experience Report) Haskell 2026
- Experience report: growing and shrinking polygons for random testing of computational geometry algorithms ICFP 2016
- Testing monadic code with QuickCheck Haskell 2002
- Testing and debugging functional reactive programming ICFP 2017
- Finding race conditions in Erlang with QuickCheck and PULSE ICFP 2009