Rongchen Xu

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Multi Dimensional

Learning Analytics

Online Learning

Top Venues

ESEC/SIGSOFT FSE

Publications

Rongchen Xu, Jianhui Chen, Fei He
Data-Driven Loop Bound Learning for Termination Analysis. ICSE (2022)
Rongchen Xu, Fei He, Bow-Yaw Wang
Interval counterexamples for loop invariant learning. ESEC/SIGSOFT FSE (2020)