Pages that link to "Item:Q3434609"
From MaRDI portal
The following pages link to Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609):
Displaying 4 items.
- Information gain of black-box testing (Q640298) (← links)
- Grey-Box Checking (Q3613088) (← links)
- Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing (Q4725736) (← links)
- Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin (Q6165822) (← links)