Automated Identification of Logical Errors in Programs: Advancing Scalable Analysis of Student Misconceptions