Mutation Coverage Estimation for Model Checking. - Te-Chang Lee; Pao-Ann Hsiung (ATVA, 2004)