A Model-Driven Mutation Framework for Validation of Test Case Migration