An Accurate and Convenient Undo Mechanism for Refactorings | IEEE Conference Publication | IEEE Xplore