A specification language for static analysis of student exercises | IEEE Conference Publication | IEEE Xplore