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
|