QuickCheck - PDFSEARCH.IO - Document Search Engine

QuickCheck
Results: 46

#	Item
21	OCaml Companion Tools OCaml Users & Developers 2012 Copenhagen - 14 september 2012 Xavier Clerc - Whatever your process is... Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-20 09:53:01 Functional languages OCaml QuickCheck Caml ATS XUnit Kaputt ML Software engineering Computing Computer programming
22	Finding Race Conditions during Unit Testing with QuickCheck John Hughes (Quviq/Chalmers) Koen Claessen, Michal Palka, Nick Smallbone (Chalmers) Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:29
23	John Hughes’ Publication List This is a list of my publications as of March 2009, with citation counts fetched from Google Scholar at that time. My most highly cited articles are [57, 15, 23, 64, 27, 38, 75, 71, 70, 72 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-03-28 10:11:57 Functional programming Association for Computing Machinery Functional languages International Conference on Functional Programming John Hughes Continuation Haskell QuickCheck SIGPLAN Software engineering Computing Programming language theory
24	Testing with QuickCheck John Hughes 50% State of the Art Add to Reading List Source URL: ulf.wiger.net - Date: 2008-02-28 17:42:55
25	Maintaining Verified Software Joe Leslie-Hurd Intel Corp. Abstract Add to Reading List Source URL: www.gilith.com Language: English - Date: 2013-09-14 18:02:18 Type theory Functional languages Data types Cabal Haskell Monad Type system QuickCheck Dependency hell Software Computing Functional programming
26	Making a Century in HERMIT Extended Abstract Neil Sculthorpe Computer Science Department Swansea University {N.A.Sculthorpe}@swansea.ac.uk Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Higher-order functions Functional languages Functional programming Automated theorem proving Type theory Haskell Fold Map QuickCheck Software engineering Computing Declarative programming
27	Erlang/QuickCheck Thomas Arts, IT University John Hughes, Chalmers University Gothenburg A little set theory… Add to Reading List Source URL: www.erlang.se Language: English - Date: 2003-11-26 02:52:45 Erlang Network performance Queueing theory Teletraffic General topology Erlang distribution Fixed-point combinator Mathematics Topology Abstract algebra
28	Overview COMP 4161 NICTA Advanced Course Automatic Proof and Disproof Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal methods Computer law Copyleft Automated theorem proving Logic in computer science Isabelle SPASS KeY QuickCheck Theoretical computer science Mathematical software Software
29	A-MOST – InSTA – MUTATION – TAIC-PART – ASQT – IWCT - SECTEST ICSTW 2015 8th IEEE International Conference on Software Testing, Verification and Validation Add to Reading List Source URL: icst2015.ist.tu-graz.ac.at Language: English - Date: 2015-04-09 13:24:35 Mutation testing Test data Unit testing Model-based testing Test automation Fault injection QuickCheck Software testing Software Quality assurance
30	Experience Report: The Next 1100 Haskell Programmers Jasmin Christian Blanchette Lars Hupel Tobias Nipkow Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Literate programming Functional programming Higher-order functions QuickCheck Theoretical computer science Recursion Dynamic programming List comprehension Haskell Software engineering Computing Computer programming

UPDATE