A Set-Covering Approach to Customized Coverage Instrumentation - BizPub.ai