The following publications are possibly variants of this publication:
- ASP: Abstraction Subspace Partitioning for Detection of Atomicity Violations with an Empirical StudyShangru Wu, Chunbai Yang, Changjiang Jia, Wing Kwong Chan. tpds, 27(3):724-734, 2016. [doi]
- Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programsTo Tsui, Shangru Wu, Wing Kwong Chan. FSE 2014: 49-56 [doi]
- Liveness-Preserving Atomicity AbstractionAlexey Gotsman, Hongseok Yang. icalp 2011: 453-465 [doi]
- Test-case reduction for C compiler bugsJohn Regehr, Chen, Yang, Cuoq, Pascal, Eide, Eric, Ellison, Chucky, Yang, Xuejun. SIGPLAN, 47(6):335-346, jun 2012. [doi]
- Detecting atomic-set serializability violations in multithreaded programs through active randomized testingZhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan. ICSE 2010: 235-244 [doi]