Finding race conditions in Erlang with QuickCheck and PULSE
Claessen, Koen, Palka, Michal, Smallbone, Nicholas, Hughes, John, Svensson, Hans, Arts, Thomas, Wiger, UlfVolume:
44
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1631687.1596574
Date:
August, 2009
File:
PDF, 500 KB
english, 2009