Testing using CSP Models: Time, Inputs, and Outputs

DOI10.1145/3572837OpenAlexW4311808642MaRDI QIDQ5886524

James Baxter, Maciej Gazda, Ana Cavalcanti, Robert M. Hierons

Publication date: 5 April 2023

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

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

zbMATH Keywords

process algebrarefinementmodel-based testingexhaustive test set

Mathematics Subject Classification ID

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

Uses Software

• Simulink
• StateFlow
• Z
• FDR3
• NAT2TEST
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Refinement-oriented models of Stateflow charts
• From control law diagrams to Ada via \textsf{Circus}
• Test generation from state based use case models
• Testing for refinement in \textsf{Circus}
• A timed model for communicating sequential processes
• Sound reasoning in \textit{tock}-CSP
• Understanding concurrent systems
• Removing redundant refusals: minimal complete test suites for failure trace semantics
• On Conformance Testing for Timed Systems
• Unifying Input Output Conformance
• Specification and Proof in Real Time CSP
• Inputs and Outputs in CSP
• Model Checking Software
• FDR3 — A Modern Refinement Checker for CSP
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing

This page was built for publication: Testing using CSP Models: Time, Inputs, and Outputs