An empirical study of the correlation between code coverage and reliability estimation | Synapse