Large-scale analysis of non-termination bugs in real-world OSS projects

• Main Authors: SHI, Xiuhan, XIE, Xiaofei, LI, Yi, ZHANG, Yao, CHEN, Sen, LI, Xiaohong
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2022
• Subjects: Non-termination Bug; Benchmarking; Empirical Study; Programming Languages and Compilers; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/7496; https://ink.library.smu.edu.sg/context/sis_research/article/8499/viewcontent/Shi2022LSA.pdf
• Institution: Singapore Management University

Termination is a crucial program property. Non-termination bugs can be subtle to detect and may remain hidden for long before they take effect. Many real-world programs still suffer from vast consequences (e.g., no response) caused by non-termination bugs. As a classic problem, termination proving h...