Assessing Oracle Quality with Checked Coverage | IEEE Conference Publication | IEEE Xplore