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

Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous +3

The emergence of prompting as the dominant paradigm for leveraging Large Language Models (LLMs) has led to a proliferation of LLM-native software, where application behavior arises…