Evaluation of a knowledge-based approach to program understanding | IEEE Conference Publication | IEEE Xplore