Reactive model-based testing of cyclic systems

DOI10.1145/3801960MaRDI QIDQ7325538zbMATH OpenFDO

Authors Ana Cavalcanti, Robert M. Hierons

Publication date 8 September 2026

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1145/3801960

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• Complete model-based equivalence class testing for nondeterministic systems
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 1746452 (Why is no real title available?)
• Inputs and Outputs in CSP
• Model Checking Software
• On Conformance Testing for Timed Systems
• Sound reasoning in \textit{tock}-CSP
• Testing can be formal, too
• Testing for refinement in \textsf{Circus}
• Testing Software Design Modeled by Finite-State Machines
• Testing using CSP Models: Time, Inputs, and Outputs

This page was built for publication: Reactive model-based testing of cyclic systems

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