Large-scale analysis of non-termination bugs in real-world OSS projects. - Xiuhan Shi; Xiaofei Xie; Yi Li 008; Yao Zhang 019; Sen Chen 001; Xiaohong Li 001 (ESEC/SIGSOFT FSE, 2022)