Finding race conditions in Erlang with QuickCheck and PULSE.

Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger

Browse the full ICFP paper archive.