%A Sebastian Wieczorek %A Alin Stefanescu %A Andreas Roth %T Model-driven Service Integration Testing - A Case Study %X This paper presents a case study for the modeling and model-based testing (MBT) of enterprise service choreographies. Our proposed MBT approach uses poprietary models called Message Choreography Models (MCM) as test models. The case study illustrates how MCM-based service integration testing allows to formalize design decisions and enables full integration into an existing industrial test infrastructure by using the concepts of domain specific languages and model transformations. Further, the MBT tools integrated into the testing framework have been compared based on one concrete use case. %D 2010 %K MBT SOA %I IEEE Computer Society %P 292 - 297 %L deploy272