Concurrency Detection Algorithm for Atomicity Violation Based on Thread Communication Invariant
LI Lanying, SUN Jianda, ZHU Suxia
Journal of Frontiers of Computer Science and Technology . 2018, (7): 1087 -1099 .  DOI: 10.3778/j.issn.1673-9418.1706018