The following pages link to Unifying Input Output Conformance (Q3585031):
Displaying 4 items.
- Generation of complete test suites from Mealy input/output transition systems (Q282098) (← links)
- Model-based fault injection for testing gray-box systems (Q1734510) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
- Applying formal verification to an open-source real-time operating system (Q6535839) (← links)
