An infrastructure to support meta-differencing and refactoring of source code | IEEE Conference Publication | IEEE Xplore