Pages that link to "Item:Q2368996"

The following pages link to Testing against a non-controllable stream X-machine using state counting (Q2368996):

Displayed 7 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)
• Bounded sequence testing from deterministic finite state machines (Q964395) ‎ (← links)
• Checking experiments for stream X-machines (Q987982) ‎ (← links)
• Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006) ‎ (← links)
• Fundamental results for learning deterministic extended finite state machines from queries (Q1998871) ‎ (← links)
• Testing Non-deterministic Stream X-machine Models and P systems (Q5179428) ‎ (← links)