Relating alternating relations for conformance and refinement

DOI10.1007/978-3-030-34968-4_14MaRDI QIDQ6536353zbMATH OpenFDO

Authors Ramon Janssen, F. Vaandrager, Jan Tretmans

Publication date 19 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-34968-4_14

zbMATH Keywords

interface automataiocoalternating refinementuioco

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2209335
• Goodbye ioco
• Unifying input output conformance
• Specification completion for IOCO
• On Conformance Testing for Timed Systems

Cites work

• scientific article; zbMATH DE number 7447738 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (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?)
• An algebraic theory of interface automata
• Formal Approaches to Software Testing
• Learning I/O automata
• Liveness in timed and untimed systems
• Model-Based Testing of Environmental Conformance of Components
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.

Cited in

(2)

• The best of both worlds: model-driven engineering meets model-based testing
• Goodbye ioco

This page was built for publication: Relating alternating relations for conformance and refinement

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