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)

Application of A-Priori Algorithm in Vibration Fault Diagnosis for Rotary Machinery. - Deyin Ma; Li Wang; Dongdi Zhang; Yanfeng Sun; Xiaohu Shi (AIAM (IEEE), 2019)

Adaptive Randomized Scheduling for Concurrency Bug Detection. - Zan Wang; Dongdi Zhang; Shuang Liu 007; Jun Sun 001; Yingquan Zhao (ICECCS, 2019)

Deep learning library testing via effective model generation. - Zan Wang; Ming Yan 010; Junjie Chen 003; Shuang Liu 007; Dongdi Zhang (ESEC/SIGSOFT FSE, 2020)