Maintainability Verification for Cost-Effective Execution | IEEE Conference Publication | IEEE Xplore