Pages that link to "Item:Q5902016"
From MaRDI portal
The following pages link to Formal Approaches to Software Testing (Q5902016):
Displaying 9 items.
- A compositional automata-based semantics and preserving transformation rules for testing property patterns (Q493531) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- 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)
- (Q4788610) (← links)
- Formal Approaches to Software Testing (Q5710658) (← links)
- Exhaustive property oriented model-based testing with symbolic finite state machines (Q6041277) (← links)