Search results for "QuickCheck"

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