Concurrency Bug Detection via Static Analysis and Large Language Models. - Feng, Zuocheng; Chen, Yiming; Zhang, Kaiwen; Li, Xiaofeng; Liu, Guanjun (Future Internet, 2025)