Coverage-Based Testing for Service Level Agreements | IEEE Journals & Magazine | IEEE Xplore