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