Reduce Dependence for Sound Concurrency Bug Prediction. - Zhu, Shihao; Guo, Yuqi; Cai, Yan; Liang, Bin; Zhang, Long; Chen, Rui; Yu, Tingting (ICSE: International Conference on Software Engineering, 2025)