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)
- Libraries for generic programming in Haskell
- Statistical properties of lambda terms
- Finding race conditions in Erlang with quickcheck and PULSE
- Declarative debugging of concurrent Erlang programs
- Formalizing ordinal partition relations using Isabelle/HOL
- Model-based fault injection for testing gray-box systems
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
- Smart testing of functional programs in Isabelle
- A certified reduction strategy for homological image processing
- Exhaustive generation of atomic combinatorial differential operators
- Testing your (static analysis) truths
- A core Erlang semantics for declarative debugging
- Smart test data generators via logic programming
- Combining test case generation and runtime verification
- Tests and proofs for custom data generators
- When is a function a fold or an unfold?
- Superposition with structural induction
- The new Quickcheck for Isabelle. Random, exhaustive and symbolic testing under one roof
- Supervisory controller synthesis and implementation for safety PLCs
- Automated generation of exam sheets for automated deduction
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Automation for dependently typed functional programming
- Latent semantic analysis of game models using LSTM
- Every bit counts: the binary representation of typed data and programs
- Functional Testing in the Focal Environment
- Title not available (Why is that?)
- Satisfiability modulo bounded checking
- A lightweight approach to datatype-generic rewriting
- An integrated framework for the diagnosis and correction of rule-based programs
- Model based testing with logical properties versus state machines
- Embedding of Systems of Affine Recurrence Equations in Coq
- Concolic testing in logic programming
- Asymptotically almost all \lambda-terms are strongly normalizing
- Proof-guided test selection from first-order specifications with equality
- A transformational approach to resource analysis with typed-norms
- Computing in Coq with infinite algebraic data structures
- Finding a middle ground for computer-aided cryptography
- Timed Rebeca
- Lemma discovery for induction. A survey
- Test Data Generation of Bytecode by CLP Partial Evaluation
- From LCF to Isabelle/HOL
- Scrap more boilerplate: reflection, zips, and generalised casts
- Creating Transformations for Matrix Obfuscation
- FreeST
- Mathematics of Program Construction
- A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
- TIP: tools for inductive provers
- A formal, resource consumption-preserving translation of actors to Haskell
- Generating constrained random data with uniform distribution
- Automatically generating counterexamples to naive free theorems
- The ACL2 Sedan theorem proving system
- Model finding for recursive functions in SMT
- Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic
- Verifying an algorithm computing discrete vector fields for digital imaging
- Local algebraic effect theories
- Scrap your boilerplate with class: extensible generic functions
- Tests and Proofs for Enumerative Combinatorics
- Finding Counter Examples in Induction Proofs
- Quick specifications for the busy programmer
- 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
This page was built for software: QuickCheck
