Applying Interface-Contract Mutation in Regression Testing of Component-Based Software