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

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...

Full description

Saved in:
Bibliographic Details
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:
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Similar Items