Pages that link to "Item:Q5902012"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5902012):
Displayed 21 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)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← 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)
- (Q3384887) (← 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)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- Combining Partial Specifications using Alternating Interface Automata (Q5039544) (← links)
- Model-Based Testing (Q5175779) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
- Goodbye ioco (Q6163899) (← links)
- Component-aware input-output conformance (Q6190183) (← links)