Matches in DBpedia 2014 for { <http://dbpedia.org/resource/QuickCheck> ?p ?o. }
Showing items 1 to 65 of
65
with 100 items per page.
- QuickCheck abstract "QuickCheck is a combinator library written in Haskell, designed to assist in software testing by generating test cases for test suites. It is compatible with the GHC compiler and the Hugs interpreter.In QuickCheck the programmer writes assertions about logical properties that a function should fulfill; these tests are specifically generated to test and attempt to falsify these assertions. The project was started in 1999. Besides being used to test regular programs, QuickCheck is also useful for building up a functional specification, for documenting what functions should be doing, and for testing compiler implementations.Re-implementations of QuickCheck exist for C,C++,Chicken Scheme,Clojure,Common Lisp,D,Erlang,F#,Factor,Io,Java,JavaScript,Node.js,Objective-C,OCaml,Perl,Prolog,Python,Ruby,Scala,Scheme,Smalltalk and Standard ML.".
- QuickCheck developer John_Hughes_(computer_scientist).
- QuickCheck genre Software_testing.
- QuickCheck language Haskell_(programming_language).
- QuickCheck latestReleaseVersion "2.6".
- QuickCheck license BSD_licenses.
- QuickCheck operatingSystem Microsoft_Windows.
- QuickCheck operatingSystem Unix-like.
- QuickCheck wikiPageExternalLink introductory-haskell-solving-the-sorting-it-out-kata.
- QuickCheck wikiPageExternalLink seven-lessons-from-the-icfp-programming-contest.
- QuickCheck wikiPageExternalLink testing-and-quality-assurance.html.
- QuickCheck wikiPageExternalLink Introduction_to_QuickCheck.
- QuickCheck wikiPageExternalLink _GADT.
- QuickCheck wikiPageExternalLink QuickCheck_as_a_test_set_generator.
- QuickCheck wikiPageExternalLink systemfilepath-automated-testing.html.
- QuickCheck wikiPageExternalLink afp02-quickcheck.ps.
- QuickCheck wikiPageExternalLink QuickCheckST.ps.
- QuickCheck wikiPageExternalLink QuickCheck.
- QuickCheck wikiPageExternalLink quick.pdf.
- QuickCheck wikiPageExternalLink entry-fop-quickcheck.html.
- QuickCheck wikiPageExternalLink entry-tt04-quickcheck.html.
- QuickCheck wikiPageID "9190673".
- QuickCheck wikiPageRevisionID "603117371".
- QuickCheck bot "H3llBot".
- QuickCheck date "October 2010".
- QuickCheck developer "Koen Claessen, John Hughes".
- QuickCheck genre "Software testing".
- QuickCheck hasPhotoCollection QuickCheck.
- QuickCheck language Haskell_(programming_language).
- QuickCheck latestReleaseVersion "2.6".
- QuickCheck license BSD_licenses.
- QuickCheck name "QuickCheck".
- QuickCheck operatingSystem Microsoft_Windows.
- QuickCheck operatingSystem Unix-like.
- QuickCheck released "1999".
- QuickCheck wordnet_type synset-software-noun-1.
- QuickCheck subject Category:Free_software_programmed_in_Haskell.
- QuickCheck subject Category:Free_software_testing_tools.
- QuickCheck subject Category:Software_testing_tools.
- QuickCheck type Abstraction100002137.
- QuickCheck type Code106355894.
- QuickCheck type CodingSystem106353757.
- QuickCheck type Communication100033020.
- QuickCheck type Software106566077.
- QuickCheck type Writing106359877.
- QuickCheck type WrittenCommunication106349220.
- QuickCheck type Software.
- QuickCheck type Work.
- QuickCheck type CreativeWork.
- QuickCheck type SoftwareObject.
- QuickCheck type InformationEntity.
- QuickCheck comment "QuickCheck is a combinator library written in Haskell, designed to assist in software testing by generating test cases for test suites. It is compatible with the GHC compiler and the Hugs interpreter.In QuickCheck the programmer writes assertions about logical properties that a function should fulfill; these tests are specifically generated to test and attempt to falsify these assertions. The project was started in 1999.".
- QuickCheck label "QuickCheck".
- QuickCheck label "QuickCheck".
- QuickCheck label "QuickCheck".
- QuickCheck sameAs QuickCheck.
- QuickCheck sameAs QuickCheck.
- QuickCheck sameAs m.027_qsl.
- QuickCheck sameAs Q2886113.
- QuickCheck sameAs Q2886113.
- QuickCheck sameAs QuickCheck.
- QuickCheck wasDerivedFrom QuickCheck?oldid=603117371.
- QuickCheck homepage QuickCheck.
- QuickCheck isPrimaryTopicOf QuickCheck.
- QuickCheck name "QuickCheck".