TY  - RPRT
TI  - EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
AU  - Yao Zhang
AU  - Xiaofei Xie
AU  - Yi Li
AU  - Sen Chen
AU  - Cen Zhang
AU  - Xiaohong Li
PY  - 2023
UR  - https://arxiv.org/abs/2312.03335
ID  - 2312.03335
ER  -