Component-based integration testing from UML interaction diagrams | IEEE Conference Publication | IEEE Xplore