The following publications are possibly variants of this publication:
- Testing a database for race conditions with QuickCheck: noneJohn M. Hughes, Hans Bolinder. erlang 2011: 72-77 [doi]
- Testing Erlang data types with quviq quickcheckThomas Arts, Laura M. Castro, John Hughes. erlang 2008: 1-8 [doi]
- Testing telecoms software with quviq QuickCheckThomas Arts, John Hughes, Joakim Johansson, Ulf Wiger. erlang 2006: 2-10 [doi]
- Automatic testing of TCP/IP implementations using QuickCheckJavier Paris, Thomas Arts. erlang 2009: 83-92 [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]
- Software Testing with QuickCheckJohn Hughes. cefp 2010: 183-223 [doi]
- Extracting QuickCheck specifications from EUnit test casesThomas Arts, Pablo Lamela Seijas, Simon J. Thompson. erlang 2011: 62-71 [doi]
- Testing blocking operations with QuickCheck's component libraryUlf Norell, Hans Svensson, Thomas Arts. erlang 2013: 87-92 [doi]
- Accelerating race condition detection through procrastinationThomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson. erlang 2011: 14-22 [doi]