Följ
Yiannis Charalambous
Yiannis Charalambous
Casual Research Assistant, University of Manchester
Verifierad e-postadress på student.manchester.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
A new era in software security: Towards self-healing software via large language models and formal verification
Y Charalambous, N Tihanyi, R Jain, Y Sun, MA Ferrag, LC Cordeiro
arXiv preprint arXiv:2305.14752, 2023
222023
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches
VA Braberman, F Bonomo-Braberman, Y Charalambous, JG Colonna, ...
arXiv preprint arXiv:2404.09384, 2024
2024
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–2