The following publications are possibly variants of this publication:
- Software Testing with QuickCheckJohn Hughes. cefp 2010: 183-223 [doi]
- Testing telecoms software with quviq QuickCheckThomas Arts, John Hughes, Joakim Johansson, Ulf Wiger. erlang 2006: 2-10 [doi]
- Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheckNicolae Paladi, Thomas Arts. erlang 2009: 71-82 [doi]
- Automatic testing of TCP/IP implementations using QuickCheckJavier Paris, Thomas Arts. erlang 2009: 83-92 [doi]
- Model-based testing of data types with side effectsThomas Arts, Laura M. Castro. erlang 2011: 30-38 [doi]
- Extracting QuickCheck specifications from EUnit test casesThomas Arts, Pablo Lamela Seijas, Simon J. Thompson. erlang 2011: 62-71 [doi]
- Testing a database for race conditions with QuickCheck: noneJohn M. Hughes, Hans Bolinder. erlang 2011: 72-77 [doi]
- Testing blocking operations with QuickCheck's component libraryUlf Norell, Hans Svensson, Thomas Arts. erlang 2013: 87-92 [doi]
- Finding race conditions in Erlang with QuickCheck and PULSEKoen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger. ICFP 2009: 149-160 [doi]
- Turning web services descriptions into quickcheck models for automatic testingMiguel A. Francisco, Macías López, Henrique Ferreiro, Laura M. Castro. erlang 2013: 79-86 [doi]