research Nurturing Code Quality: Leveraging Static Analysis and Large Language Models for Software Quality in Education ACM Transactions on Computing Education Tue ACM Transactions on Computing Education, Volume 25, Issue 2, Page 1-36, June 2025. dl.acm.org