Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin. MBT4Chor: A Model-Based Testing Approach for Service Choreographies. In Richard F. Paige, Alan Hartman, Arend Rensink, editors, Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Volume 5562 of Lecture Notes in Computer Science, pages 313-324, Springer, 2009. [doi]