Automatic Grading of Programming Exercises using Property-Based ...

Part of the document