An Effective Model-Based Integration Testing Technique for Component-Based Software | IEEE Conference Publication | IEEE Xplore