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)
Share - Bookmark