An empirical study of the correlation between code coverage and reliability estimation | IEEE Conference Publication | IEEE Xplore