Mutation Coverage Estimation for Model Checking.

Te-Chang Lee, Pao-Ann Hsiung

Browse the full ATVA paper archive.