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