An Empirical Study of RefactoringChallenges and Benefits at Microsoft | Synapse