线程交互不变量的原子性违例错误并发检测

李兰英，孙建达，朱素霞

Concurrency Detection Algorithm for Atomicity Violation Based on Thread Communication Invariant

LI Lanying, SUN Jianda, ZHU Suxia

计算机科学与探索 . 2018, (7): 1087 -1099 . DOI: 10.3778/j.issn.1673-9418.1706018