Pages that link to "Item:Q2484973"
From MaRDI portal
The following pages link to A passive testing approach based on invariants: application to the WAP (Q2484973):
Displaying 6 items.
- An extended framework for passive asynchronous testing (Q347402) (← links)
- Passive testing with asynchronous communications and timestamps (Q1656880) (← links)
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa (Q2270684) (← links)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152) (← links)
- Passive Testing of Timed Systems (Q3540090) (← links)
- Deriving Homing Sequences for Finite State Machines with Timed Guards (Q5060074) (← links)
