@inproceedings{deploy272, booktitle = {Proceedings of the 7th International Conference on the Quality of Information and Communications Technology}, title = {Model-driven Service Integration Testing - A Case Study}, author = {Sebastian Wieczorek and Alin Stefanescu and Andreas Roth}, publisher = {IEEE Computer Society}, year = {2010}, pages = {292 -- 297}, keywords = {MBT SOA}, url = {http://deploy-eprints.ecs.soton.ac.uk/272/}, abstract = {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.} }