Abstract: Testing to detect on-the-fly concurrency errors, such as atomicity violations caused by multiple shared variables, in a multi-threaded program is challenging because of the need to consider ...