Summary
Generative Artificial Intelligence (AI) is rapidly transforming software engineering, with a substantial portion of new code being generated by AI. As generating code becomes easier, the bottleneck shifts to maintaining it through testing, debugging, and repairs. Effective software maintenance fundamentally depends on a deep, accurate understanding of software behavior, yet it remains unclear how well current AI models truly understand software. This project systematically studies and improves AI's understanding of code in realistic maintenance settings. The project's novelties are a principle