Applying Interface-Contract Mutation in Regression Testing of Component-Based Software | IEEE Conference Publication | IEEE Xplore