Predicting Fault Coverage from Probabilistic Testability