On the correlation between code coverage and software reliability | IEEE Conference Publication | IEEE Xplore