ASP: Abstraction Subspace Partitioning for Detection of Atomicity Violations with an Empirical Study

Shangru Wu, Chunbai Yang, Changjiang Jia, Wing Kwong Chan. ASP: Abstraction Subspace Partitioning for Detection of Atomicity Violations with an Empirical Study. IEEE Trans. Parallel Distrib. Syst., 27(3):724-734, 2016. [doi]

Abstract

Abstract is missing.