Pages that link to "Item:Q5423870"
From MaRDI portal
The following pages link to Using Model Checking to Generate Fault Detecting Tests (Q5423870):
Displaying 4 items.
- A formal logic approach to constrained combinatorial testing (Q616856) (← links)
- On the order of test goals in specification-based testing (Q2270689) (← links)
- Complementary Criteria for Testing Temporal Logic Properties (Q3637251) (← links)
- A Logic-Based Approach to Combinatorial Testing with Constraints (Q5458811) (← links)
