@misc{indiciae7902d8979b59,
  title = {Generative transformations and patterns in LLM-native approaches for software verification and falsification},
  author = {Víctor A. Braberman and Flavia Bonomo-Braberman and Yiannis Charalambous and Juan G. Colonna and Lucas C. Cordeiro and Rosiane de Freitas},
  year = {2025},
  url = {https://arxiv.org/abs/2404.09384},
  note = {Source identifier: 2404.09384}
}