QuickCheck
From MaRDI portal
Cited in
(only showing first 100 items - show all)- GNT
- Nitpick
- Lutess
- COMBINE
- IMP++
- Haskell
- Tests and proofs for custom data generators
- Finding a middle ground for computer-aided cryptography
- Superposition with structural induction
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
- Kenzo
- Model-based fault injection for testing gray-box systems
- CLISP
- A purely functional computer algebra system embedded in Haskell
- FocalTest
- TorX
- Erlang
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- GATeL
- Korat
- Euclide
- ATGen
- ACL2s
- Zeno
- HipSpec
- Declarative debugging of concurrent Erlang programs
- Kima
- TeaBag
- Curry
- Kernel-LEAF
- Testing your (static analysis) truths
- Supervisory controller synthesis and implementation for safety PLCs
- Automated generation of exam sheets for automated deduction
- Coq/SSReflect
- Camlflow
- Rebeca
- Cayenne
- McErlang
- HaRe
- EasyCheck
- SmallCheck
- Sparkle
- evt
- DPPD
- LALBLC
- DDebugger
- PLT Redex
- Galculator
- ELM-ART
- SPARK Pro
- From LCF to Isabelle/HOL
- Lemma discovery for induction. A survey
- Nighthawk
- Hipster
- Statistical properties of lambda terms
- A core Erlang semantics for declarative debugging
- AsmL
- Satisfiability modulo bounded checking
- A formal, resource consumption-preserving translation of actors to Haskell
- Latent semantic analysis of game models using LSTM
- Exhaustive generation of atomic combinatorial differential operators
- QuickChick
- criterion
- Freja
- Hood
- PrologCheck
- HUnit
- Model finding for recursive functions in SMT
- Tests and Proofs for Enumerative Combinatorics
- Model based testing with logical properties versus state machines
- CodeSonar
- Klockwork
- Smart testing of functional programs in Isabelle
- Zeno: an automated prover for properties of recursive data structures
- Verifying an algorithm computing discrete vector fields for digital imaging
- Smart test data generators via logic programming
- Scrap your boilerplate with class: extensible generic functions
- Finding race conditions in Erlang with quickcheck and PULSE
- Foundational property-based testing
- A certified reduction strategy for homological image processing
- The ACL2 Sedan theorem proving system
- Automation for dependently typed functional programming
- Supremica
- A lightweight approach to datatype-generic rewriting
- Koka
- TIP
- Graphsc
- QuickSpec
- Pirate
- Every bit counts: the binary representation of typed data and programs
- Automatic proof and disproof in Isabelle/HOL
- Kilim
- Lincx
- ABS
- JCobox
- MATHsAiD
- Fran
- Luck
- TypEr
- Creating Transformations for Matrix Obfuscation
This page was built for software: QuickCheck
