"146","Applying Model Checking to Generate Model-based Integration Tests from Choreography Models","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.","http://deploy-eprints.ecs.soton.ac.uk/146/","Wieczorek, S. and Kozyura, V. and Roth, A. and Leuschel, Michael and Bendisposto, Jens and Plagge, Daniel and Schieferdecker, I.","UNSPECIFIED","       <span class=\"person_name\">Wieczorek, S.</span> and <span class=\"person_name\">Kozyura, V.</span> and <span class=\"person_name\">Roth, A.</span> and <span class=\"person_name\">Leuschel, Michael</span> and <span class=\"person_name\">Bendisposto, Jens</span> and <span class=\"person_name\">Plagge, Daniel</span> and <span class=\"person_name\">Schieferdecker, I.</span>     (2009)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/146/\"><em>Applying Model Checking to Generate Model-based Integration Tests from Choreography Models.</em></a>       21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software TESTCOM/FATES 2009       .                        (In Press)   ",",,,leuschel@cs.uni-duesseldorf.de,,plagge@cs.uni-duesseldorf.de,","2009"