Pages that link to "Item:Q5897443"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5897443):
Displayed 5 items.
- Test generation from event system abstractions to cover their states and transitions (Q2216864) (← links)
- Association of Under-Approximation Techniques for Generating Tests from Models (Q3012965) (← links)
- Mutation-Based Test Case Generation for Simulink Models (Q3066126) (← links)
- Symbolic Model-based Test Selection (Q5179362) (← links)
- Better Under-Approximation of Programs by Hiding Variables (Q5452617) (← links)