1. Midhat Ali, Francesco De Angelis, Daniele Fanì, Antonia Bertolino, Guglielmo De Angelis & Andrea Polini (2014): An Extensible Framework for Online Testing of Choreographed Services. IEEE Computer 47(2), pp. 23–29, doi:10.1109/MC.2013.407.
  2. Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz & Shin Yoo (2015): The Oracle Problem in Software Testing: A Survey. TOSEM 41(5), pp. 507–525, doi:10.1109/TSE.2014.2372785.
  3. Laura Bocchi, Julien Lange & Emilio Tuosto (2011): Amending Contracts for Choreographies. In: ICE, pp. 111–129, doi:10.4204/EPTCS.59.10.
  4. Laura Bocchi, Julien Lange & Emilio Tuosto (2012): Three Algorithms and a Methodology for Amending Contracts for Choreographies. Sci. Ann. Comp. Sci. 22(1), pp. 61–104, doi:10.7561/SACS.2012.1.61.
  5. Michele Boreale, Rocco De Nicola & Rosario Pugliese (2002): Trace and testing equivalence on asynchronous processes. Information and Computation 172(2), pp. 139–164, doi:10.1006/inco.2001.3080.
  6. Daniel Brand & Pitro Zafiropulo (1983): On Communicating Finite-State Machines. JACM 30(2), pp. 323–342, doi:10.1145/322374.322380.
  7. Mario Bravetti & Gianluigi Zavattaro (2009): Contract Compliance and Choreography Conformance in the Presence of Message Queues. In: Web Services and Formal Methods 5387. Springer, Berlin, Heidelberg, pp. 37–54, doi:10.1007/978-3-642-01364-5_3.
  8. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker & Alexander Pretschner (2005): Model-Based Testing of Reactive Systems, Advanced Lectures. LNCS 3472. Springer, doi:10.1007/b137241.
  9. Gérard Cécé & Alain Finkel (2005): Verification of programs with half-duplex communication. I&C 202(2), pp. 166–190, doi:10.1016/j.ic.2005.05.006.
  10. Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida & Luca Padovani (2016): Global progress for dynamically interleaved multiparty sessions. MSCS 26(2), pp. 238–302, doi:10.1017/S0960129514000188.
  11. Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese & Mauro Jacopo (2015): Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. In: COORDINATION, pp. 67–82, doi:10.1007/978-3-319-19282-6_5.
  12. Rocco De Nicola & Matthew C. B. Hennessy (1984): Testing equivalences for processes. TCS 34, pp. 83–133, doi:10.1016/0304-3975(84)90113-0.
  13. Pierre-Malo Deniélou & Nobuko Yoshida (2012): Multiparty Session Types Meet Communicating Automata. In: ESOP, LNCS. Springer, pp. 194–213, doi:10.1007/978-3-642-28869-2_10.
  14. Roberto Guanciale & Emilio Tuosto (2016): An Abstract Semantics of the Global View of Choreographies. In: Interaction and Concurrency Experience, pp. 67–82, doi:10.4204/EPTCS.223.5.
  15. Roberto Guanciale & Emilio Tuosto (2018): Semantics of Global Views of Choreographies. Journal of Logic and Algebraic Methods in Programming 95, pp. 17–40, doi:10.1016/j.jlamp.2017.11.002.
  16. Roberto Guanciale & Emilio Tuosto (2019): Realisability of pomsets. JLAMP 108, pp. 69–89, doi:10.1016/j.jlamp.2019.06.003.
  17. Kohei Honda, Nobuko Yoshida & Marco Carbone (2016): Multiparty Asynchronous Session Types. JACM 63(1), pp. 9:1–9:67, doi:10.1145/2827695. Extended version of a paper presented at POPL08.
  18. Nickolas Kavantzas, Davide Burdett, Gregory Ritzinger, Tony Fletcher & Yves Lafon. Working Draft 17 December 2004.
  19. Ivan Lanese, Fabrizio Montesi & Gianluigi Zavattaro (2013): Amending Choreographies. In: Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013., pp. 34–48, doi:10.4204/EPTCS.123.5.
  20. Julien Lange, Emilio Tuosto & Nobuko Yoshida (2015): From Communicating Machines to Graphical Choreographies. In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. ACM, pp. 221–232, doi:10.1145/2676726.2676964.
  21. Rocco De Nicola & Hernán C. Melgratti (2015): Multiparty Testing Preorders. In: Trustworthy Global Computing, pp. 16–31, doi:10.1007/978-3-319-28766-9_2.
  22. William L. Oberkampf & Christopher J. Roy (2010): Verification and Validation in Scientific Computing. Cambridge University Press, doi:10.1017/cbo9780511760396.
  23. Alexander Pretschner & Jan Philipps (2005): Methodological Issues in Model-Based Testing. In: Model-Based Testing of Reactive Systems 3472. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 281–291, doi:10.1007/11498490_13.
  24. Muhammad Jaffar-ur Rehman, Fakhra Jabeen, Antonia Bertolino & Andrea Polini (2007): Testing software components for integration: a survey of issues and techniques. Software Testing, Verification and Reliability 17(2), pp. 95–133, doi:10.1002/stvr.357.
  25. Jan Tretmans (1999): Testing Concurrent Systems: A Formal Approach. In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, Lecture Notes in Computer Science 1664. Springer, pp. 46–65, doi:10.1007/3-540-48320-9_6.
  26. Emilio Tuosto & Roberto Guanciale (2018): Semantics of global view of choreographies. Journal of Logical and Algebraic Methods in Programming 95, pp. 17–40, doi:10.1016/j.jlamp.2017.11.002.
  27. Mark Utting & Bruno Legeard (2007): Practical Model-Based Testing - A Tools Approach. Morgan Kaufmann. Available at

Comments and questions to:
For website issues: