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

Xiao Liu, Shuai Wang, Pei Wang, Dinghao Wu

Browse the full ICSE paper archive.