Pages that link to "Item:Q5179362"
From MaRDI portal
The following pages link to Symbolic Model-based Test Selection (Q5179362):
Displaying 9 items.
- Test selection for traces refinement (Q481094) (← links)
- On the order of test goals in specification-based testing (Q2270689) (← links)
- Test purpose oriented I/O conformance test selection with colored Petri nets (Q2336614) (← links)
- Model-based testing of reactive systems. Advanced lectures. (Q2565429) (← links)
- Monadic Sequence Testing and Explicit Test-Refinements (Q2827440) (← links)
- Dependence Analysis for Regression Test Suite Selection and Augmentation (Q4932679) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703771) (← links)
- Formal Approaches to Software Testing (Q5710638) (← links)
- Exhaustive property oriented model-based testing with symbolic finite state machines (Q6041277) (← links)