J Zhao, Y Wu, Y Feng, J Dong, C Shi - Journal of Software: Evolution … - Wiley Online Library
Atomicity violation bugs are a frequent problem in concurrency. Because of the
unpredictable nature of thread interleaving, most current methods are unable to differentiate …