Inferring Loop Invariants for Multi-Path Loops. - Yingwen Lin; Yao Zhang 019; Sen Chen 001; Fu Song; Xiaofei Xie; Xiaohong Li 001; Lintan Sun (TASE, 2021)