Goodbye ioco

DOI10.1007/978-3-031-15629-8_26MaRDI QIDQ6163899zbMATH OpenOpenAlexFDO

Authors Jan Tretmans, Ramon Janssen

Publication date 26 July 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-15629-8_26

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Unifying input output conformance
• Relating alternating relations for conformance and refinement
• On Conformance Testing for Timed Systems
• Specification completion for IOCO
• An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation

Cites work

• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 3560737 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Observation equivalence as a testing equivalence
• Specification completion for IOCO
• Testing can be formal, too

Cited in

(2)

• Relating alternating relations for conformance and refinement
• The best of both worlds: model-driven engineering meets model-based testing

This page was built for publication: Goodbye ioco

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6163899)