Bachelor’s Thesis – Automatic Detection of Programming Errors in LLM-Generated Code
📅 July 11, 2024🧑🏫 Prof. Enea Zaffanella👥 Co-supervisor: Prof. Vincenzo Arceri🎓 Grade: 110/110 cum laude
Experimental evaluation of the ability to automatically detect programming errors in source code generated by Large Language Models, using static analysis techniques.
#Static Analysis #AI #LLM #Software Verification #Validation