RQ1 Choice of Mutation Model for Mutator