A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage | IEEE Conference Publication | IEEE Xplore