Benchmarking combinations of learning and testing algorithms for active automata learning
From MaRDI portal
Publication:6487258
Recommendations
- Benchmarks for automata learning and conformance testing
- Combining black-box and white-box techniques for learning register automata
- Efficient active automata learning via mutation testing
- \(L^\ast\)-based learning of Markov decision processes (extended version)
- Improving active Mealy machine learning for protocol conformance testing
Cites work
- Benchmarks for automata learning and conformance testing
- Efficient active automata learning via mutation testing
- Inference of finite automata using homing sequences
- Insights to Angluin's learning
- Learning regular sets from queries and counterexamples
- Testing Software Design Modeled by Finite-State Machines
Cited in
(11)- Active model learning of stochastic reactive systems
- Enhancing Automata Learning by Log-Based Metrics
- Benchmarks for automata learning and conformance testing
- Learning I/O automata
- Compositional automata learning of synchronous systems
- Efficient active automata learning via mutation testing
- Active automata learning as black-box search and lazy partition refinement
- Combining black-box and white-box techniques for learning register automata
- Compositional learning for interleaving parallel automata
- Learning finite state models from recurrent neural networks
- Improving active Mealy machine learning for protocol conformance testing
This page was built for publication: Benchmarking combinations of learning and testing algorithms for active automata learning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487258)
