PBLInv: Postcondition-based Loop Invariant Learning for C Programs. - Hong Lu; Chengyi Wang; Jiacheng Gui; Hao Huang (QRS, 2020)

A Novel Data-Driven Approach for Generating Verified Loop Invariants. - Hong Lu; Jiacheng Gui; Chengyi Wang; Hao Huang (TASE, 2020)

A novel data-driven approach on inferring loop invariants for C programs. - Hong Lu; Huitao Wang; Jiacheng Gui; Panfeng Chen; Hao Huang (J. Comput. Lang., 2022)