Model-based tools to record program understanding | IEEE Conference Publication | IEEE Xplore