Mikaël Mayer, Ravichandhran Kandhadai Madhavan
We present a lightweight library for testing concurrent Scala programs by systematically exploring multiple interleavings between user-specified operations on shared objects. Our library is targeted at beginners of concurrent programming in Scala, runs on ...
Assoc Computing Machinery2016
