@misc{indiciaef421d9e1b5d3,
  title = {LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles},
  author = {Kai Zhu and Chenkai Guo and Kuihao Yan and Xiaoqi Jia and Haichao Du and Qingjia Huang and Yamin Xie and Jing Tang},
  year = {2024},
  url = {https://arxiv.org/abs/2411.02863},
  note = {Source identifier: 2411.02863}
}