Finding Race Conditions in Erlang with QuickCheck and PULSE
Paper in proceeding, 2009
Author
Koen Claessen
Michal Palka
Nicholas Smallbone
John Hughes
Hans Svensson
University of Gothenburg
Ulf Wiger
ACM SIGPLAN international conference on Functional programming
Subject Categories (SSIF 2011)
Software Engineering
Computer Science