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]
@article{WuYJC16,
title = {ASP: Abstraction Subspace Partitioning for Detection of Atomicity Violations with an Empirical Study},
author = {Shangru Wu and Chunbai Yang and Changjiang Jia and Wing Kwong Chan},
year = {2016},
doi = {10.1109/TPDS.2015.2412544},
url = {http://doi.ieeecomputersociety.org/10.1109/TPDS.2015.2412544},
researchr = {https://researchr.org/publication/WuYJC16},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Parallel Distrib. Syst.},
volume = {27},
number = {3},
pages = {724-734},
}