Finding race conditions in erlang with quickcheck and PULSE
Artikel i vetenskaplig tidskrift, 2009
Erlang
Race conditions
Quickcheck
Författare
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Michal Palka
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)
Ulf Wiger
ACM SIGPLAN Notices
1523-2867 (ISSN)
Vol. 44 9 149-160Ämneskategorier
Data- och informationsvetenskap
DOI
10.1145/1631687.1596574