Pages that link to "Item:Q5710638"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5710638):
Displaying 13 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)
- A symbolic operational semantics for TESL -- with an application to heterogeneous system testing (Q1683463) (← links)
- Towards property oriented testing (Q2870321) (← links)
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (Q3637253) (← links)
- Symbolic Model-based Test Selection (Q5179362) (← links)
- A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications (Q5200477) (← links)
- Model-Based Testing for Functional and Security Test Generation (Q5253584) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703771) (← links)
- Exhaustive property oriented model-based testing with symbolic finite state machines (Q6041277) (← links)
- Coverage-based testing with symbolic transition systems (Q6536171) (← links)