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.
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.
Laura Bocchi, Julien Lange & Emilio Tuosto (2011):
Amending Contracts for Choreographies.
In: ICE,
pp. 111–129,
doi:10.4204/EPTCS.59.10.
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.
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.
Daniel Brand & Pitro Zafiropulo (1983):
On Communicating Finite-State Machines.
JACM 30(2),
pp. 323–342,
doi:10.1145/322374.322380.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Roberto Guanciale & Emilio Tuosto (2019):
Realisability of pomsets.
JLAMP 108,
pp. 69–89,
doi:10.1016/j.jlamp.2019.06.003.
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.
Nickolas Kavantzas, Davide Burdett, Gregory Ritzinger, Tony Fletcher & Yves Lafon.
http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217.
Working Draft 17 December 2004.
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.
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.
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.
William L. Oberkampf & Christopher J. Roy (2010):
Verification and Validation in Scientific Computing.
Cambridge University Press,
doi:10.1017/cbo9780511760396.
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.
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.
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.
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.
eptcs@eptcs.org