QuickCheck
From MaRDI portal
swMATH7277MaRDI QIDQ19322FDOQ19322
Author name not available (Why is that?)
Official website: https://hackage.haskell.org/package/QuickCheck
Source code repository: https://github.com/nick8325/quickcheck
Cited In (only showing first 100 items - show all)
- Extended Static Checking by Calculation Using the Pointfree Transform
- IsaCoSy
- Formal Approaches to Software Testing
- Formal Approaches to Software Testing
- Controllable Combinatorial Coverage in Grammar-Based Testing
- Computation semantics of the functional scientific workflow language Cuneiform
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- GNT
- IMP++
- Kenzo
- CLISP
- FocalTest
- Erlang
- ATGen
- Euclide
- GATeL
- Korat
- TorX
- On theorem prover-based testing
- ACL2s
- HipSpec
- Zeno
- Curry
- Kima
- Kernel-LEAF
- Coq/SSReflect
- Camlflow
- TeaBag
- Rebeca
- Cayenne
- EasyCheck
- HaRe
- evt
- McErlang
- DPPD
- DDebugger
- SmallCheck
- LALBLC
- Galculator
- PLT Redex
- ELM-ART
- Sparkle
- Nighthawk
- Hipster
- AsmL
- SPARK Pro
- QuickChick
- criterion
- Freja
- Hood
- PrologCheck
- HUnit
- CodeSonar
- Klockwork
- Automated testing and debugging of SAT and QBF solvers
- PolyLib
- Koka
- Graphsc
- Pirate
- Supremica
- QuickSpec
- TIP
- Kilim
- Lincx
- ABS
- JCobox
- Fran
- MATHsAiD
- Luck
- Eden
- Celf
- TypEr
- Mathpert
- Cuneiform
- computational-algebra
- DoCon
- ghc-typelits-presburger
- type-natural
- CutEr
- erlyberly
- PropEr
- redbug
- SecEr
- nofib
- AUTOSAR
- Mathematical Components
- TGV
- Beginner's luck: a language for property-based generators
- Geno
- CauDEr
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
- Automatic proof and disproof in Isabelle/HOL
- Zeno: an automated prover for properties of recursive data structures
- What is the meaning of these constant interruptions?
- Hipster: integrating theory exploration in a proof assistant
- Foundational property-based testing
- A purely functional computer algebra system embedded in Haskell
- Implementation of Functional Languages
- Automatic Generation of Test Inputs for Mercury
- On the enumeration of closures and environments with an application to random generation
This page was built for software: QuickCheck
