Publication | Open Access

Software verification and graph similarity for automated evaluation of students’ assignments

EngineeringStudent AssessmentProgram AnalysisProgram ComprehensionVerificationEducationSoftware EngineeringComputer ScienceAutomated EvaluationAutomated AssessmentSoftware AnalysisProgram EvaluationStudents ’ AssignmentsGraph Similarity