International workshop on testing distributed component-based systems | IEEE Conference Publication | IEEE Xplore