Media type: E-Article Title: Lecture Notes in Computer Science: Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models Contributor: Wieczorek, Sebastian; Kozyura, Vitaly; Roth, Andreas; Leuschel, Michael; Bendisposto, Jens; Plagge, Daniel; Schieferdecker, Ina Published: Springer Berlin Heidelberg, 2009 Published in: Lecture Notes in Computer Science (2009), Seite 179-194 Language: Without Specification DOI: 10.1007/978-3-642-05031-2_12 ISBN: 9783642050305; 9783642050312 ISSN: 0302-9743; 1611-3349 Origination: Footnote: