@article{deploy146,
           title = {Applying Model Checking to Generate Model-based Integration Tests from Choreography Models},
          author = {S. Wieczorek and V. Kozyura and A. Roth and Michael Leuschel and Jens Bendisposto and Daniel Plagge and I. Schieferdecker},
       publisher = {Springer LNCS},
            year = {2009},
         journal = {21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software TESTCOM/FATES 2009},
             url = {http://deploy-eprints.ecs.soton.ac.uk/146/},
        abstract = {Choreography models describe the communication protocols
between services. Testing of service choreographies is an important task for the
quality assurance of service-based systems as used e.g. in the context of
service-oriented architectures (SOA). The formal modeling of service
choreographies enables a model-based integration testing (MBIT) approach.
We present MBIT methods for our service choreography modeling approach
called Message Choreography Models (MCM). For the model-based testing of
service choreographies, MCMs are translated into Event-B models and used as
input for our test generator which uses the model checker ProB.}
}

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>