Hong Lu, Jiacheng Gui, Chengyi Wang, Hao Huang. A Novel Data-Driven Approach for Generating Verified Loop Invariants. In Toshiaki Aoki, Qin Li, editors, International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020. pages 9-16, IEEE, 2020. [doi]
Abstract is missing.