Transformation-based diagnosis of student programs for programming tutoring systems | IEEE Journals & Magazine | IEEE Xplore