Generative transformations and patterns in LLM-native approaches for software verification and falsification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Braberman, Víctor A., Bonomo-Braberman, Flavia, Charalambous, Yiannis, Colonna, Juan G., Cordeiro, Lucas C., de Freitas, Rosiane
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence Computation and Language Machine Learning F.3.1; D.2.4; D.2.5; I.2.7
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2404.09384