Koen Claessen Michal Palka Nicholas Smallbone John Hughes Hans Svensson Thomas Arts Ulf Wiger Finding race conditions in Erlang with QuickCheck and PULSE. 149-160 2009 ICFP http://doi.acm.org/10.1145/1596550.1596574 conf/icfp/2009 db/conf/icfp/icfp2009.html#ClaessenPSHSAW09