Finding Race Conditions in Erlang with Quick Check and PULSE
Paper in proceeding, 2009
Race Conditions
Quick Check
Erlang
Author
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Michal Palka
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (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)
U. Wiger
Erlang Training and Consulting
ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming
149-160
978-1-60558-332-7 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1145/1596550.1596574
ISBN
978-1-60558-332-7