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

DOI10.4230/LIPICS.CONCUR.2023.4MaRDI QIDQ6967346zbMATH OpenFDO

Authors P. H. M. van Spaendonck, T. A. C. Willemse

Publication date 26 June 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2023.4

zbMATH Keywords

model-driven engineeringinternal choiceinput output conformanceinput output labelled transition systemsstable-failures refinement

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 7447738 (Why is no real title available?)
• scientific article; zbMATH DE number 7327941 (Why is no real title available?)
• Formal Approaches to Software Testing
• Goodbye ioco
• Inputs and Outputs in CSP
• On Conformance Testing for Timed Systems
• Relating alternating relations for conformance and refinement
• Synchronizing asynchronous conformance testing
• Test generation from state based use case models
• Testing can be formal, too
• Testing using CSP Models: Time, Inputs, and Outputs
• Understanding concurrent systems
• Unifying input output conformance

This page was built for publication: The best of both worlds: model-driven engineering meets model-based testing

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