A practical program transformation system for reverse engineering | IEEE Conference Publication | IEEE Xplore