EndWatch: A practical method for detecting non-termination in real-world software

• Main Authors: ZHANG, Yao, XIE, Xiaofei, LI, Yi, CHEN, Sen, ZHANG, Cen, LI, Xiaohong
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2023
• Subjects: Dynamic testing; Non-termination detection; Static analysis; Testing oracle generation; Information Security; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/8239; https://ink.library.smu.edu.sg/context/sis_research/article/9242/viewcontent/EndWatch_A_practical_method_for_detecting_non_termination_in_real_world_software.pdf
• Institution: Singapore Management University

Detecting non-termination is crucial for ensuring program correctness and security, such as preventing denial-of-service attacks. While termination analysis has been studied for many years, existing methods have limited scalability and are only effective on small programs. To address this issue, we...