How we refactor, and how we know it | IEEE Conference Publication | IEEE Xplore