JART: grammar-based approach to refactoring | IEEE Conference Publication | IEEE Xplore