Pages that link to "Item:Q5505607"
From MaRDI portal
The following pages link to Guided Test Generation from CSP Models (Q5505607):
Displayed 7 items.
- Test selection for traces refinement (Q481094) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Test generation from state based use case models (Q736788) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Testing interruptions in reactive systems (Q1941859) (← links)
- Temporal reasoning through automatic translation of tock-CSP into timed automata (Q2154047) (← links)
- Guided Test Generation from CSP Models (Q5505607) (← links)