Coq-quickchick

GPTKB entity

Statements (29)
Predicate Object
gptkbp:instance_of gptkb:software
gptkbp:community open-source community
gptkbp:dependency gptkb:CEO
Quick Chick library
gptkbp:developed_by Quick Chick team
gptkbp:example automated testing
property testing
testing properties of functions
generating random inputs
verifying correctness of algorithms
gptkbp:features generators
test case generation
shrinking
gptkbp:has_documentation https://github.com/ Quick Chick/ Quick Chick/blob/master/ README.md
https://www.w3.org/2000/01/rdf-schema#label Coq-quickchick
gptkbp:integrates_with gptkb:Coq_proof_assistant
gptkbp:is_used_for property-based testing
gptkbp:language gptkb:CEO
gptkbp:latest_version 1.0.0
gptkbp:license MIT License
gptkbp:next_edition gptkb:2014
gptkbp:platform cross-platform
gptkbp:release_date gptkb:2014
gptkbp:repository https://github.com/ Quick Chick/ Quick Chick
gptkbp:supports random testing
gptkbp:type gptkb:software_framework
gptkbp:written_in gptkb:CEO
gptkbp:bfsParent gptkb:Coq_Platform
gptkbp:bfsLayer 8