Pages that link to "Item:Q5710638"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5710638):
Displayed 5 items.
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← 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)