Finding race conditions in Erlang with QuickCheck and PULSE - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger. Finding race conditions in Erlang with QuickCheck and PULSE. In Graham Hutton, Andrew P. Tolmach, editors, Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. pages 149-160, ACM, 2009. [doi]

Identified as Koen Claessen This author has not been identified. Look up 'Michal Palka' in GoogleThis author has not been identified. Look up 'Nicholas Smallbone' in GoogleIdentified as John Hughes This author has not been identified. Look up 'Hans Svensson' in GoogleThis author has not been identified. Look up 'Thomas Arts' in GoogleThis author has not been identified. Look up 'Ulf Wiger' in Google

runs on WebDSL