SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.

Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu

Browse the full ICSE paper archive.