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

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

(1)

• 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)