Pages that link to "Item:Q5900957"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900957):
Displaying 10 items.
- On the synthesis of adaptive tests for nondeterministic finite state machines (Q840063) (← links)
- Applying adaptive test cases to nondeterministic implementations (Q844156) (← links)
- Reducing the cost of applying adaptive test cases (Q856734) (← links)
- Minimizing the number of inputs while applying adaptive test cases (Q1041743) (← links)
- An adaptive test against ordered alternatives (Q1390887) (← links)
- Probabilistic and systematic coverage of consecutive test-method pairs for detecting order-dependent flaky tests (Q2044204) (← links)
- On the order of test goals in specification-based testing (Q2270689) (← links)
- Optimal ordering of statistically dependent tests (Q2357770) (← links)
- Test sequence construction using minimum information on the tested system (Q2498283) (← links)
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (Q3434606) (← links)