Transformation-based assessment for C programs | IEEE Conference Publication | IEEE Xplore