Validating Test Case Migration via Mutation Analysis | IEEE Conference Publication | IEEE Xplore