Pages that link to "Item:Q736788"
From MaRDI portal
The following pages link to Test generation from state based use case models (Q736788):
Displaying 7 items.
- Modelling timed reactive systems from natural-language requirements (Q315301) (← links)
- Aiding exploratory testing with pruned GUI models (Q1705707) (← links)
- Formal specification generation from requirement documents (Q2873617) (← links)
- Formal Approaches to Software Testing (Q5710658) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
- Towards a model-checker for \textit{\textsf{Circus}} (Q6535951) (← links)
- \textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR (Q6535952) (← links)