@misc{indiciae8aeebd3fbb79,
  title = {A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification},
  author = {Norbert Tihanyi and Ridhi Jain and Yiannis Charalambous and Mohamed Amine Ferrag and Youcheng Sun and Lucas C. Cordeiro},
  year = {2024},
  url = {https://arxiv.org/abs/2305.14752},
  note = {Source identifier: 2305.14752}
}