Finding race conditions in erlang with quickcheck and PULSE
Journal article, 2009
Erlang
Race conditions
Quickcheck
Author
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Michal Palka
Chalmers
Nicholas Smallbone
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
John Hughes
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Hans Svensson
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Thomas Arts
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Ulf Wiger
ACM SIGPLAN Notices
1523-2867 (ISSN)
Vol. 44 9 149-160Subject Categories
Computer and Information Science
DOI
10.1145/1631687.1596574