Static analysis of source code written by novice programmers | IEEE Conference Publication | IEEE Xplore