Pages that link to "Item:Q5902012"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5902012):
Displayed 6 items.
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Specification completion for IOCO (Q763529) (← links)
- Formalization of test experiments (Q927449) (← links)
- Interaction semantics with refusals, divergence, and destruction (Q1758683) (← links)
- A Note on an Anomaly in Black-Box Testing (Q3434604) (← links)
- Model-Based Testing of Environmental Conformance of Components (Q3525108) (← links)