iTest: Using coverage measurements to improve test efficiency | IEEE Conference Publication | IEEE Xplore