Automated support for program refactoring using invariants | IEEE Conference Publication | IEEE Xplore