@misc{indiciaef5126bfea194,
  title = {EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software},
  author = {Yao Zhang and Xiaofei Xie and Yi Li and Sen Chen and Cen Zhang and Xiaohong Li},
  year = {2023},
  url = {https://arxiv.org/abs/2312.03335},
  note = {Source identifier: 2312.03335}
}