An approach to integration testing based on architectural descriptions | IEEE Conference Publication | IEEE Xplore