Testing for refinement in \textsf{Circus}
DOI10.1007/S00236-011-0133-ZzbMATH Open1237.68059OpenAlexW1966324913MaRDI QIDQ766162FDOQ766162
Authors: Ana Cavalcanti, Marie-Claude Gaudel 
Publication date: 23 March 2012
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-011-0133-z
Recommendations
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)
Cites Work
- csp2B: A practical approach to combining CSP and B
- Title not available (Why is that?)
- Title not available (Why is that?)
- Testing equivalences for processes
- Testing Software Design Modeled by Finite-State Machines
- Title not available (Why is that?)
- Unifying theories for logic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A UTP semantics for \textsf{Circus}
- FM 2005: Formal Methods
- A refinement strategy for Circus
- FM 2005: Formal Methods
- On testing UML statecharts
- A note on traces refinement and the conf relation in the unifying theories of programming
- Title not available (Why is that?)
- Guided Test Generation from CSP Models
- Testing for refinement in \textsf{Circus}
- Title not available (Why is that?)
- Title not available (Why is that?)
- Theoretical Aspects of Computing - ICTAC 2004
- Testing algebraic data types and processes: A unifying theory
- Specification and (property) inheritance in CSP-OZ
- On the testability of SDL specifications
- Title not available (Why is that?)
- Mathematics of Program Construction
Cited In (14)
- Testing using CSP Models: Time, Inputs, and Outputs
- A refinement strategy for Circus
- A UTP semantics for \textsf{Circus}
- Encoding Circus programs in ProofPower-Z
- Automating refinement of Circus programs
- FM 2005: Formal Methods
- Test selection for traces refinement
- Testing for refinement in \textsf{Circus}
- Type checking \textsf{Circus} specifications
- \textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR
- UTP, \textsf{\textit{Circus}}, and Isabelle
- Towards a model-checker for \textit{\textsf{Circus}}
- Complete model-based equivalence class testing for nondeterministic systems
- Specification coverage for testing in Circus
Uses Software
This page was built for publication: Testing for refinement in \textsf{Circus}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q766162)
