Refactoring Detection based on UMLDiff Change-Facts Queries | IEEE Conference Publication | IEEE Xplore