PFix: fixing concurrency bugs based on memory access patterns. - Huarui Lin; Zan Wang; Shuang Liu 007; Jun Sun 001; Dongdi Zhang; Guangning Wei (ASE, 2018)

MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. - Zan Wang; Yingquan Zhao; Shuang Liu 007; Jun Sun 001; Xiang Chen 005; Huarui Lin (ASE, 2019)