Model-Based Software Component Testing: A UML-Based Approach | IEEE Conference Publication | IEEE Xplore