An abstract framework for choreographic testing

DOI10.1016/j.jlamp.2021.100712OpenAlexW3193510834MaRDI QIDQ2239278

Alex Coto, Emilio Tuosto, Roberto Guanciale

Publication date: 3 November 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2009.07990

zbMATH Keywords

well-formednessprojectionmodel-based testingchoreographycommunicating finite state machines

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modeling concurrency with partial orders
• Testing equivalences for processes
• Trace and testing equivalence on asynchronous processes
• Realisability of pomsets
• On the \(k\)-synchronizability of systems
• Model-based testing of reactive systems. Advanced lectures.
• Verification of programs with half-duplex communication
• From Communicating Machines to Graphical Choreographies
• Multiparty Session Types Meet Communicating Automata
• Deadlock-freedom-by-design
• Deciding choreography realizability
• Multiparty Asynchronous Session Types
• On Communicating Finite-State Machines
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
• Dynamic multirole session types
• Resolving Non-determinism in Choreographies
• Global progress for dynamically interleaved multiparty sessions
• Multiparty Testing Preorders
• Applied Choreographies