Finding race conditions in Erlang with QuickCheck and PULSE

Finding race conditions in Erlang with QuickCheck and PULSE

Article CLOSED

Koen Claessen; Michal Palka; Nicholas Smallbone; John Hughes; Hans Svensson; Thomas Arts; Ulf Wiger;

(2009)

Related identifiers: doi: 10.1145/1631687.1596574

Metrics

Share - Bookmark

Download from
ACM Digital Library via ACM Digital Library (Article, 2009)
Cite this publication