Test selection for traces refinement
From MaRDI portal
Publication:481094
DOI10.1016/j.tcs.2014.08.012zbMath1302.68086OpenAlexW2023082500MaRDI QIDQ481094
Ana Cavalcanti, Marie-Claude Gaudel
Publication date: 12 December 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2014.08.012
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Refinement-oriented models of Stateflow charts
- From control law diagrams to Ada via \textsf{Circus}
- A refinement strategy for Circus
- Testing for refinement in \textsf{Circus}
- Applying adaptive test cases to nondeterministic implementations
- Reducing the cost of applying adaptive test cases
- A UTP semantics for \textsf{Circus}
- Testing equivalences for processes
- Understanding concurrent systems
- CSP-CASL -- a new integration of process algebra and algebraic specification
- On testing UML statecharts
- Specification Coverage for Testing in Circus
- A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
- Guided Test Generation from CSP Models
This page was built for publication: Test selection for traces refinement
