%0 Journal Article %1 journals/corr/abs-2401-08807 %A Ma, Lezhi %A Liu, Shangqing %A Li, Yi %A Xie, Xiaofei %A Bu, Lei %D 2024 %J CoRR %K dblp %T SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. %U http://dblp.uni-trier.de/db/journals/corr/corr2401.html#abs-2401-08807 %V abs/2401.08807

@article{journals/corr/abs-2401-08807, added-at = {2024-08-04T00:00:00.000+0200}, author = {Ma, Lezhi and Liu, Shangqing and Li, Yi and Xie, Xiaofei and Bu, Lei}, biburl = {https://www.bibsonomy.org/bibtex/26f3a03d58d8b26058bed8c891abdc7f1/dblp}, ee = {https://doi.org/10.48550/arXiv.2401.08807}, interhash = {fd515ed9453d01704dcf8c16f170c552}, intrahash = {6f3a03d58d8b26058bed8c891abdc7f1}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-08-05T07:09:00.000+0200}, title = {SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2401.html#abs-2401-08807}, volume = {abs/2401.08807}, year = 2024 }