Testing using CSP Models: Time, Inputs, and Outputs
From MaRDI portal
Recommendations
Cites work
- A timed model for communicating sequential processes
- FDR3 -- a modern refinement checker for CSP
- Formal Approaches to Software Testing
- Formal Approaches to Software Testing
- From control law diagrams to Ada via \textsf{Circus}
- scientific article; zbMATH DE number 605917 (Why is no real title available?)
- scientific article; zbMATH DE number 938070 (Why is no real title available?)
- Inputs and Outputs in CSP
- Model Checking Software
- On Conformance Testing for Timed Systems
- On timed models and full abstraction
- Refinement-oriented models of Stateflow charts
- Removing redundant refusals: minimal complete test suites for failure trace semantics
- Sound reasoning in \textit{tock}-CSP
- Specification and Proof in Real Time CSP
- Test generation from state based use case models
- Testing for refinement in \textsf{Circus}
- Understanding concurrent systems
- Unifying input output conformance
Cited in
(6)- On CSP refinement tests that run multiple copies of a process
- scientific article; zbMATH DE number 4003498 (Why is no real title available?)
- Inputs and Outputs in CSP
- Combining sequential test cases into an equivalent set of adaptive test cases
- The best of both worlds: model-driven engineering meets model-based testing
- Reactive model-based testing of cyclic systems
This page was built for publication: Testing using CSP Models: Time, Inputs, and Outputs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5886524)
