Pages that link to "Item:Q479471"
From MaRDI portal
The following pages link to Improving active Mealy machine learning for protocol conformance testing (Q479471):
Displaying 5 items.
- Active learning for extended finite state machines (Q736459) (← links)
- Generating models of infinite-state communication protocols using regular inference with abstraction (Q2018056) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Learning deterministic one-clock timed automata via mutation testing (Q6160914) (← links)
- Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning (Q6487258) (← links)