Automatic grading of programming assignments: an approach based on formal semantics.

Xiao Liu Shuai Wang Pei Wang Dinghao Wu

Published in: ICSE (SEET) (2019)

Keyphrases

formal semantics
programming assignments
automatic assessment
logical language
programming course
first order logic
modeling language
database
success or failure
artificial intelligence
case study
automatic analysis
grounded theory
owl dl ontology