Interval counterexamples for loop invariant learning. - Rongchen Xu; Fei He 001; Bow-Yaw Wang (ESEC/SIGSOFT FSE, 2020)

Data-Driven Loop Bound Learning for Termination Analysis. - Rongchen Xu; Jianhui Chen; Fei He 001 (ICSE, 2022)