QuickCheck Testing for Fun and Profit - researchr publication related

researchr

You are not signed in
Sign in
Sign up

John Hughes. QuickCheck Testing for Fun and Profit. In Michael Hanus, editor, Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Volume 4354 of Lecture Notes in Computer Science, pages 1-32, Springer, 2007. [doi]

The following publications are possibly variants of this publication:

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]

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

QuickCheck: a lightweight tool for random testing of Haskell programsKoen Claessen, John Hughes. ICFP 2000: 268-279 [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]

runs on WebDSL