LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles. - Kai Zhu; Chenkai Guo; Kuihao Yan; Xiaoqi Jia; Haichao Du; Qingjia Huang; Yamin Xie; Jing Tang (CoRR, 2024)