Strengthening Refactoring: Towards Software Evolution with Quantitative and Experimental Grounds