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
Software Engineering
Computer Science