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]
@inproceedings{ClaessenPSHSAW09,
title = {Finding race conditions in Erlang with QuickCheck and PULSE},
author = {Koen Claessen and Michal Palka and Nicholas Smallbone and John Hughes and Hans Svensson and Thomas Arts and Ulf Wiger},
year = {2009},
doi = {10.1145/1596550.1596574},
url = {http://doi.acm.org/10.1145/1596550.1596574},
tags = {QuickCheck},
researchr = {https://researchr.org/publication/ClaessenPSHSAW09},
cites = {0},
citedby = {0},
pages = {149-160},
booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
editor = {Graham Hutton and Andrew P. Tolmach},
publisher = {ACM},
isbn = {978-1-60558-332-7},
}