Patrik Jansson - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged QuickCheck

Testing Data Consistency of Data-Intensive Applications Using QuickCheckLaura M. Castro, Thomas Arts. ENTCS, 271:41-62, 2011. [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]

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]

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

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

Testing Erlang Refactorings with QuickCheckHuiqing Li, Simon Thompson. IFL 2008: 19-36 [doi]

Testing Properties of Generic FunctionsPatrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser. IFL 2007: 217-234 [doi]

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

Testing monadic code with QuickCheckKoen Claessen, John Hughes. SIGPLAN, 37(12):47-59, 2002. [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]

runs on WebDSL