Giters
QuickChick

QuickChick

Geek Repo

A group of researchers with a shared interest in property-based testing

Location:Philadelphia, Princeton, Sophia-Antipolis, Paris, Gothenburg, and Cambridge (UK)

Github PK Tool:Github PK Tool

QuickChick's repositories

QuickChick

Randomized Property-Based Testing Plugin for Coq

Language:CoqLicense:NOASSERTIONStargazers:242Issues:17Issues:172

Luck

Luck -- A Language for Property-Based Generators

Language:HaskellLicense:MITStargazers:31Issues:13Issues:4

IFC

Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq proofs.

Language:CoqLicense:NOASSERTIONStargazers:11Issues:9Issues:3

TestingNoninterference

Haskell code associated to the "Testing Noninterference, Quickly" paper. The associated Coq proofs are in a separate repository: https://github.com/QuickChick/IFC

Language:HaskellLicense:NOASSERTIONStargazers:6Issues:7Issues:1