Finding Race Conditions in Erlang with Quick Check and PULSE
Paper i proceeding, 2009
Race Conditions
Quick Check
Erlang
Författare
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Michal Palka
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Nicholas Smallbone
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
John Hughes
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Hans Svensson
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Thomas Arts
Chalmers, Data- och informationsteknik, Programvaruteknik (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)
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1145/1596550.1596574
ISBN
978-1-60558-332-7