1. Barker, A., Walton, C.D., Robertson, D.: Choreographing web services. IEEE T. Services Computing 2(2), 152–166 (2009)
2. Besson, F.M., Leal, P.M., Kon, F., Goldman, A., Milojicic, D.: Towards automated testing of web service choreographies. In: Proc. of AST, pp. 109–110. ACM, Waikiki (2011)
3. Bertolino, A., De Angelis, G., Kellomäki, S., Polini, A.: Enhancing service federation trustworthiness through online testing. IEEE Computer 45(1), 66–72 (2012)
4. De Angelis, F., De Angelis, G., Polini, A.: A counter-example testing approach for orchestrated services. In: Proc. of ICST, pp. 373–382. IEEE CS, Paris (2010)
5. Bertolino, A., De Angelis, G., Polini, A.: Validation and verification policies for governance of service choreographies. In: Proc. of WEBIST. SciTePress (April 2012)