|
gptkbp:instance_of
|
gptkb:software
|
|
gptkbp:bfsLayer
|
4
|
|
gptkbp:bfsParent
|
gptkb:Quick_Check
|
|
gptkbp:allows
|
property specification
|
|
gptkbp:based_on
|
gptkb:Quick_Check
|
|
gptkbp:can_be_extended_by
|
user-defined properties
|
|
gptkbp:can_be_used_with
|
Erlang applications
|
|
gptkbp:can_create
|
large test suites
random data
|
|
gptkbp:can_provide
|
bug detection
|
|
gptkbp:community_support
|
active community
|
|
gptkbp:developed_by
|
Quviq
|
|
gptkbp:first_released
|
gptkb:2007
|
|
gptkbp:has_documentation
|
available online
|
|
gptkbp:has_feature
|
shrinking test cases
|
|
gptkbp:has_version
|
latest version 1.0.0
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Erlang's Prop Er
|
|
gptkbp:integrates_with
|
CI/ CD pipelines
|
|
gptkbp:is_adopted_by
|
startups
|
|
gptkbp:is_available_on
|
gptkb:archive
|
|
gptkbp:is_compatible_with
|
gptkb:API
multiple Erlang versions
|
|
gptkbp:is_designed_for
|
high reliability systems
|
|
gptkbp:is_influenced_by
|
gptkb:Haskell's_Quick_Check
|
|
gptkbp:is_open_source
|
gptkb:theorem
|
|
gptkbp:is_part_of
|
test-driven development
Erlang ecosystem
software quality assurance
|
|
gptkbp:is_popular_in
|
telecommunications industry
|
|
gptkbp:is_tested_for
|
real-world applications
continuous integration tools
Erlang's built-in testing tools
|
|
gptkbp:is_used_by
|
gptkb:software
|
|
gptkbp:is_used_for
|
functional testing
testing software properties
verify invariants
|
|
gptkbp:is_used_in
|
gptkb:academic_research
production systems
|
|
gptkbp:language
|
gptkb:Erlang
|
|
gptkbp:provides
|
test case generation
|
|
gptkbp:recognizes
|
edge cases
|
|
gptkbp:suitable_for
|
distributed systems
Erlang developers
concurrent systems
|
|
gptkbp:supports
|
custom generators
random testing
|
|
gptkbp:written_in
|
gptkb:Erlang
|