Pages that link to "Item:Q4225366"
From MaRDI portal
The following pages link to An approach to test synthesis from higher level (Q4225366):
Displaying 5 items.
- Test-design through abstraction: A systematic approach based on the refinement calculus (Q2755069) (← links)
- Functional Level Primitives in Test Generation (Q3869270) (← links)
- High-level test synthesis: a survey (Q4225365) (← links)
- High-level synthesis techniques for functional test pattern execution (Q4225391) (← links)
- Synthesis for testability: Binary Decision Diagrams (Q5096806) (← links)