The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for QuickCheck with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000-2009 (19) 2010-2018 (17) 2019-2021 (4)
Publication types (Num. hits)
article(3) inproceedings(37)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 21 keywords

Results
Found 40 publication records. Showing 40 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
100Nicolae Paladi, Thomas Arts Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. Search on Bibsonomy Erlang Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF QuickCheck, amnesia, formal specifications, model based testing, erlang, business rules
92Huiqing Li, Simon J. Thompson Testing Erlang Refactorings with QuickCheck. Search on Bibsonomy IFL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
92Thomas Arts, John Hughes 0001, Joakim Johansson, Ulf T. Wiger Testing telecoms software with quviq QuickCheck. Search on Bibsonomy Erlang Workshop The full citation details ... 2006 DBLP  DOI  BibTeX  RDF test automation, property based testing
79Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes 0001, Hans Svensson, Thomas Arts, Ulf T. Wiger Finding race conditions in Erlang with QuickCheck and PULSE. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF QuickCheck, Erlang, race conditions
79Thomas Arts, Laura M. Castro, John Hughes 0001 Testing Erlang data types with quviq quickcheck. Search on Bibsonomy Erlang Workshop The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quickcheck, erlang, datatypes
71Javier París, Thomas Arts Automatic testing of TCP/IP implementations using QuickCheck. Search on Bibsonomy Erlang Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF tcp/ip, testing, networking
51Hans Svensson Implementing an LTL-to-Büchi translator in Erlang: a protest experience report. Search on Bibsonomy Erlang Workshop The full citation details ... 2009 DBLP  DOI  BibTeX  RDF LTL-to-B?chi translator, QuickCheck, property driven development
43Lee Pike, Geoffrey M. Brown, Alwyn Goodloe Roll your own test bed for embedded real-time protocols: a haskell experience. Search on Bibsonomy Haskell The full citation details ... 2009 DBLP  DOI  BibTeX  RDF physical-layer protocol testing, functional programming, emulation
43Colin Runciman, Matthew Naylor, Fredrik Lindblad Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lazy evaluation, type classes, exhaustive search, embedded language, property-based testing
28Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño Makina: a new QuickCheck state machine library. Search on Bibsonomy Erlang Workshop The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
28David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski Testing Safety PLCs Using QuickCheck. Search on Bibsonomy CASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Adnan Khan, David Thönnessen, Martin Fabian On-the-fly conformance testing of safety PLC code using QuickCheck. Search on Bibsonomy INDIN The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Thomas Shull, Jian Huang 0006, Josep Torrellas QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks. Search on Bibsonomy VEE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. Search on Bibsonomy CLEI Selected Papers The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
28Agustín Mista, Alejandro Russo, John Hughes 0001 Branching Processes for QuickCheck Generators. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
28Agustín Mista, Alejandro Russo, John Hughes 0001 Branching processes for QuickCheck generators. Search on Bibsonomy Haskell@ICFP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
28John Hughes 0001 Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane. Search on Bibsonomy A List of Successes That Can Change the World The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28John Hughes 0001, Ulf Norell, Nicholas Smallbone, Thomas Arts Find more bugs with QuickCheck! Search on Bibsonomy AST@ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Thomas Arts, Kirill Bogdanov 0002, Alex Gerdes, John Hughes 0001 Graphical editing support for QuickCheck models. Search on Bibsonomy ICST Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
28Thomas Arts, John Hughes 0001, Ulf Norell, Hans Svensson Testing AUTOSAR software with QuickCheck. Search on Bibsonomy ICST Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
28Huiqing Li, Simon J. Thompson Improved semantics and implementation through property-based testing with QuickCheck. Search on Bibsonomy AST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño Jsongen: a quickcheck based library for testing JSON web services. Search on Bibsonomy Erlang Workshop The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Miguel A. Francisco, Macías López, Henrique Ferreiro, Laura M. Castro Turning web services descriptions into quickcheck models for automatic testing. Search on Bibsonomy Erlang Workshop The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Ulf Norell, Hans Svensson, Thomas Arts Testing blocking operations with QuickCheck's component library. Search on Bibsonomy Erlang Workshop The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Yusuke Wada, Shigeru Kusakabe Performance Evaluation of A Testing Framework Using QuickCheck and Hadoop. Search on Bibsonomy J. Inf. Process. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
28Lukas Bulwahn The New Quickcheck for Isabelle - Random, Exhaustive and Symbolic Testing under One Roof. Search on Bibsonomy CPP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
28John Hughes Specification based testing with QuickCheck: tutorial talk. Search on Bibsonomy FMCAD The full citation details ... 2011 DBLP  BibTeX  RDF
28R. John M. Hughes, Hans Bolinder Testing a database for race conditions with QuickCheck. Search on Bibsonomy Erlang Workshop The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
28Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson Extracting QuickCheck specifications from EUnit test cases. Search on Bibsonomy Erlang Workshop The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
28Laura M. Castro, Thomas Arts Testing Data Consistency of Data-Intensive Applications Using QuickCheck. Search on Bibsonomy PROLE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
28John Hughes 0001 Software Testing with QuickCheck. Search on Bibsonomy CEFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28John Hughes 0001 QuickCheck Testing for Fun and Profit. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Koen Claessen, John Hughes 0001 Testing monadic code with QuickCheck. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes 0001, Malcolm Wallace Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Koen Claessen, John Hughes 0001 Testing monadic code with QuickCheck. Search on Bibsonomy Haskell The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Koen Claessen, John Hughes 0001 QuickCheck: a lightweight tool for random testing of Haskell programs. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Haskell
21Wouter Swierstra, Thorsten Altenkirch Beauty in the beast. Search on Bibsonomy Haskell The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser Testing Properties of Generic Functions. Search on Bibsonomy IFL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Johan Jeuring, Alexey Rodriguez, Gideon Smeding Generating generic functions. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF generic programming, automated testing, program synthesis, generalized algebraic data types
21Peter Dybjer, Qiao Haiyan, Makoto Takeyama Combining Testing and Proving in Dependent Type Theory. Search on Bibsonomy TPHOLs The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #40 of 40 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license