Pages that link to "Item:Q5710638"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5710638):
Displayed 7 items.
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← links)
- Complete model-based equivalence class testing for nondeterministic systems (Q520246) (← links)
- Generating tests from B specifications and dynamic selection criteria (Q539227) (← links)
- Proof-guided test selection from first-order specifications with equality (Q616851) (← links)
- Towards Property Oriented Testing (Q2870321) (← links)
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (Q3637253) (← links)
- Model-Based Testing for Functional and Security Test Generation (Q5253584) (← links)