The Filter Checker: An Active Verification Management Approach | IEEE Conference Publication | IEEE Xplore