Detecting Functional Differences using Automatic Test Generation for Automated Assessment in Programming Education | IEEE Conference Publication | IEEE Xplore