Empirical Study of Correlation between Mutation Score and Model Inference Based Test Suite Adequacy Assessment