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

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

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

Full description

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

Internet

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

Similar Items