Effects of decomposition techniques on knowledge-based program understanding | IEEE Conference Publication | IEEE Xplore