A system to mark programs automatically | IEEE Conference Publication | IEEE Xplore