Pages that link to "Item:Q3434602"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q3434602):
Displaying 9 items.
- Play to Test (Q3434603) (← links)
- A Note on an Anomaly in Black-Box Testing (Q3434604) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (Q3434606) (← links)
- Calculating Probabilities of Real-Time Test Cases (Q3434607) (← links)
- Time Unbalanced Partial Order (Q3434608) (← links)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609) (← links)
- Automated Generation of Positive and Negative Tests for Parsers (Q3434611) (← links)
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (Q3434613) (← links)