Pages that link to "Item:Q5902016"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5902016):
Displayed 5 items.
- Testing interruptions in reactive systems (Q1941859) (← links)
- Test purpose oriented I/O conformance test selection with colored Petri nets (Q2336614) (← links)
- Towards Property Oriented Testing (Q2870321) (← links)
- Complementary Criteria for Testing Temporal Logic Properties (Q3637251) (← links)
- Exhaustive property oriented model-based testing with symbolic finite state machines (Q6041277) (← links)