About: QuickCheck

An Entity of Type: work, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Software testing software

Property	Value
dbo:description	Software für Softwaretests (de) software testing software (en)
dbo:developer	dbr:John_Hughes_(computer_scientist)
dbo:genre	dbr:Software_testing
dbo:latestReleaseDate	2020-11-14 (xsd:date)
dbo:latestReleaseVersion	2.14.2
dbo:license	dbr:BSD_licenses
dbo:operatingSystem	dbr:Unix-like dbr:Microsoft_Windows
dbo:programmingLanguage	dbr:Haskell
dbo:wikiPageExternalLink	https://github.com/nick8325/quickcheck http://www.cse.chalmers.se/~rjmh/Papers/QuickCheckST.ps http://www.math.chalmers.se/~koen/pubs/entry-fop-quickcheck.html http://www.math.chalmers.se/~koen/pubs/entry-tt04-quickcheck.html https://hackage.haskell.org/package/QuickCheck http://www.cs.chalmers.se/~koen/pubs/afp02-quickcheck.ps http://www.eecs.northwestern.edu/%7Erobby/courses/395-495-2009-fall/quick.pdf https://web.archive.org/web/20061012125122/http:/www.cs.chalmers.se/~koen/pubs/afp02-quickcheck.ps https://web.archive.org/web/20070430065923/http:/www.math.chalmers.se/~koen/pubs/entry-tt04-quickcheck.html https://web.archive.org/web/20070704035801/http:/www.math.chalmers.se/~koen/pubs/entry-fop-quickcheck.html
dbo:wikiPageWikiLink	dbr:Test_case dbr:Whiley_(programming_language) dbr:Smalltalk dbr:PostScript dbr:C++ dbr:C_Sharp_(programming_language) dbc:Software_testing_tools dbr:Compiler dbr:Clojure dbr:Standard_ML dbr:F_Sharp_(programming_language) dbr:Logtalk dbr:Microsoft_PowerPoint dbr:Unix-like dbr:Glasgow_Haskell_Compiler dbr:Hackage dbr:Prolog dbr:D_(programming_language) dbr:Factor_(programming_language) dbr:JavaScript dbr:Java_(programming_language) dbr:Microsoft_Windows dbr:PHP dbr:BSD_licenses dbr:OCaml dbr:TypeScript dbr:SPIN_model_checker dbr:Coq dbr:Rust_(programming_language) dbr:Free_and_open-source_software dbr:C_(programming_language) dbc:Software_using_the_BSD_license dbr:Go_(programming_language) dbr:Falsifiability dbr:Wolfram_Mathematica dbr:Library_(computing) dbr:Objective-C dbr:Scheme_(programming_language) dbr:Software_testing dbr:Lua_(programming_language) dbr:R_(programming_language) dbr:Hugs_(interpreter) dbr:Perl dbr:Erlang_(programming_language) dbr:Ruby_(programming_language) dbr:Common_Lisp dbr:Julia_(programming_language) dbr:Racket_(programming_language) dbr:Elixir_(programming_language) dbr:Scala_(programming_language) dbr:Io_(programming_language) dbr:Test_suite dbr:Chicken_(Scheme_implementation) dbr:Interpreter_(computing) dbc:Free_software_programmed_in_Haskell dbr:Python_(programming_language) dbc:Free_software_testing_tools dbr:Combinator_library dbr:John_Hughes_(computer_scientist) dbr:Elm_(programming_language) dbr:Functional_specification dbr:Haskell_(programming_language) dbr:Pony_(programming_language) dbr:Visual_Basic_.NET dbr:Subroutine dbr:Swift_(programming_language)
dbp:developer	Koen Claessen, John Hughes (en)
dbp:genre	dbr:Software_testing
dbp:language	English (en)
dbp:latestReleaseDate	2020-11-14 (xsd:date)
dbp:latestReleaseVersion	2.140000 (xsd:double)
dbp:license	dbr:BSD_licenses
dbp:name	QuickCheck (en)
dbp:operatingSystem	dbr:Unix-like dbr:Microsoft_Windows
dbp:programmingLanguage	dbr:Haskell
dbp:repo	https://github.com/nick8325/quickcheck
dbp:wikiPageUsesTemplate	dbt:Start_date_and_age dbt:Reflist dbt:Cite_journal dbt:Wikibooks dbt:URL dbt:For dbt:Infobox_software dbt:Refend dbt:Div_col dbt:Div_col_end dbt:Refbegin dbt:Use_mdy_dates dbt:Haskell_programming dbt:Short_description
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-software-noun-1
dct:subject	dbc:Free_computer_libraries dbc:Software_testing_tools dbc:Software_using_the_BSD_license dbc:Free_software_programmed_in_Haskell dbc:Free_software_testing_tools
gold:hypernym	dbr:Library
rdf:type	owl:Thing wikidata:Q386724 wikidata:Q7397 dbo:Work schema:CreativeWork
rdfs:label	QuickCheck (en) QuickCheck (es) QuickCheck (ja) QuickCheck (sv)
owl:sameAs	freebase:QuickCheck yago-res:QuickCheck wikidata:QuickCheck dbpedia-ja:QuickCheck dbpedia-es:QuickCheck dbpedia-sv:QuickCheck dbpedia-global:QuickCheck
prov:wasDerivedFrom	wikipedia-en:QuickCheck?oldid=1263243828&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:QuickCheck
foaf:name	QuickCheck (en)
is dbo:knownFor of	dbr:John_Hughes_(computer_scientist)__R._John_M._Hughes__1
is dbo:wikiPageRedirects of	dbr:Quick_check dbr:Quickcheck
is dbo:wikiPageWikiLink of	dbr:Formal_methods dbr:Xmonad dbr:PBT dbr:Software_testing dbr:Darcs dbr:List_of_unit_testing_frameworks dbr:Scala_(programming_language) dbr:Random_testing dbr:Combinator_library dbr:List_of_programming_language_researchers dbr:List_of_computer_scientists dbr:John_Hughes_(computer_scientist) dbr:Reductio dbr:Quick_check dbr:Quickcheck
is foaf:primaryTopic of	wikipedia-en:QuickCheck