MaRV: A Manually Validated Refactoring Dataset | IEEE Conference Publication | IEEE Xplore