Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions

Shan Lu, Soyeon Park, Yuanyuan Zhou. Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions. IEEE Trans. Parallel Distrib. Syst., 23(6):1060-1072, 2012. [doi]

Abstract

Abstract is missing.