Pages that link to "Item:Q5902012"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5902012):
Displayed 14 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)
- Agreement between conformance and composition (Q2017761) (← links)
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- Nondeterministic modal interfaces (Q2629098) (← links)
- Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- A Note on an Anomaly in Black-Box Testing (Q3434604) (← links)
- A Pre-congruence Format for XY-simulation (Q3455865) (← links)
- Model-Based Testing of Environmental Conformance of Components (Q3525108) (← links)
- Model-Based Testing (Q5175779) (← links)