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