Contract-Based Verification for Aspect-Oriented Refactoring | IEEE Conference Publication | IEEE Xplore