Pages that link to "Item:Q5316435"
From MaRDI portal
The following pages link to Fundamental Approaches to Software Engineering (Q5316435):
Displaying 15 items.
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← links)
- Learning of event-recording automata (Q604474) (← links)
- Generating models of infinite-state communication protocols using regular inference with abstraction (Q2018056) (← links)
- Efficient active automata learning via mutation testing (Q2331082) (← links)
- The geometry of electron wave functions (Q2842986) (← links)
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (Q3434606) (← links)
- Learning Meets Verification (Q3525110) (← links)
- Evaluation and Comparison of Inferred Regular Grammars (Q3528425) (← links)
- Model checking, synthesis, and learning (Q6041187) (← links)
- Never-stop context-free learning (Q6045031) (← links)
- Inferring Symbolic Automata (Q6135753) (← links)
- Learning deterministic one-clock timed automata via mutation testing (Q6160914) (← links)
- A Context-Free Symbiosis of Runtime Verification and Automata Learning (Q6488340) (← links)
- A new approach for active automata learning based on apartness (Q6535565) (← links)
- Learning communicating state machines (Q6536172) (← links)
