Branching processes for QuickCheck generators - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Agustín Mista, Alejandro Russo, John Hughes. Branching processes for QuickCheck generators. In Nicolas Wu, editor, Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018. pages 1-13, ACM, 2018. [doi]

The following publications are possibly variants of this publication:

Software Testing with QuickCheckJohn Hughes. cefp 2010: 183-223 [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]

QuickCheck: a lightweight tool for random testing of Haskell programsKoen Claessen, John Hughes. ICFP 2000: 268-279 [doi]

QuickCheck Testing for Fun and ProfitJohn Hughes. PADL 2007: 1-32 [doi]

Testing monadic code with QuickCheckKoen Claessen, John Hughes. SIGPLAN, 37(12):47-59, 2002. [doi]

Testing telecoms software with quviq QuickCheckThomas Arts, John Hughes, Joakim Johansson, Ulf Wiger. erlang 2006: 2-10 [doi]

Testing Erlang data types with quviq quickcheckThomas Arts, Laura M. Castro, John Hughes. erlang 2008: 1-8 [doi]

Testing and Tracing Lazy Functional Programs Using QuickCheck and HatKoen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace. afp 2003: 59-99 [doi]

runs on WebDSL