Unifying input output conformance

DOI10.1007/978-3-642-14521-6_11MaRDI QIDQ3585031zbMATH OpenOpenAlexFDO

Authors Martin Weiglhofer, Bernhard K. Aichernig

Publication date 31 August 2010

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14521-6_11

zbMATH Keywords

fairnessquiescencemodel-based testingunifying theories of programmingiocoreactive processesinput output conformance

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Logical characterisations and compositionality of input-output conformance simulation
• On Conformance Testing for Timed Systems
• Logical characterisations, rule formats and compositionality for input-output conformance simulation
• An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
• Specification completion for IOCO

Cited in

(14)

• Testing using CSP Models: Time, Inputs, and Outputs
• Model-based fault injection for testing gray-box systems
• The best of both worlds: model-driven engineering meets model-based testing
• scientific article; zbMATH DE number 5540316 (Why is no real title available?)
• Test purpose oriented I/O conformance test selection with colored Petri nets
• Generation of complete test suites from Mealy input/output transition systems
• Goodbye ioco
• An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
• Logical characterisations and compositionality of input-output conformance simulation
• Component-aware input-output conformance
• Input-Output Model Programs
• Applying formal verification to an open-source real-time operating system
• Relating alternating relations for conformance and refinement
• Logical characterisations, rule formats and compositionality for input-output conformance simulation

This page was built for publication: Unifying input output conformance

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