Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software_framework
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Erlang's_Prop_Er
|
| gptkbp:developed_by |
gptkb:Koen_Claessen
|
| gptkbp:first_released |
gptkb:2000
|
| https://www.w3.org/2000/01/rdf-schema#label |
Haskell's Quick Check
|
| gptkbp:inspired_by |
Quick Check (original concept)
|
| gptkbp:is_compatible_with |
gptkb:Library
|
| gptkbp:is_used_in |
software testing
|
| gptkbp:language |
gptkb:Library
|
| gptkbp:provides |
test case shrinking
|
| gptkbp:supports |
random test case generation
|
| gptkbp:uses |
property-based testing
|