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

No metrics available

Share - Bookmark

Download from

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