Finding Race Conditions in Erlang with QuickCheck and PULSE
Paper in proceedings, 2009

Author

Nicholas Smallbone

John Hughes

Hans Svensson

University of Gothenburg

Ulf Wiger

ACM SIGPLAN international conference on Functional programming

Subject Categories

Software Engineering

Computer Science

More information

Latest update

7/10/2019