Interaction-based integration testing of component-based software systems | Synapse