Pages that link to "Item:Q1882901"
From MaRDI portal
The following pages link to Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (Q1882901):
Displaying 15 items.
- A unified integration and component testing approach from deterministic stream X-machine specifications (Q282085) (← links)
- Testing data processing-oriented systems from stream X-machine models (Q944368) (← links)
- Checking experiments for stream X-machines (Q987982) (← links)
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006) (← links)
- An integrated refinement and testing method for stream X-machines (Q1606072) (← links)
- Complete deterministic stream X-machine testing (Q1764430) (← links)
- Testing conditions for communicating stream \(X\)-machine systems (Q1849557) (← links)
- Testing against a non-controllable stream X-machine using state counting (Q2368996) (← links)
- Testing methods for X-machines: a review (Q2432227) (← links)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152) (← links)
- (Q3022297) (← links)
- Streaming Property Testing of Visibly Pushdown Languages * (Q4606314) (← links)
- Testing Non-deterministic Stream X-machine Models and P systems (Q5179428) (← links)
- Testing conformance to a quasi-non-deterministic stream X-machine (Q5944212) (← links)
- Generating test sets from non-deterministic stream X-machines (Q5944213) (← links)
