Benchmarks for automata learning and conformance testing

DOI10.1007/978-3-030-22348-9_23MaRDI QIDQ6165820zbMATH OpenOpenAlexFDO

Authors Daniel Neider, Rick Smetsers, F. Vaandrager, Harco Kuppens

Publication date 2 August 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-22348-9_23

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Benchmarking combinations of learning and testing algorithms for active automata learning
• Improving active Mealy machine learning for protocol conformance testing
• Fundamental Approaches to Software Engineering
• Learning Meets Verification
• CALF: categorical automata learning framework

Cited in

(15)

• Enhancing Automata Learning by Log-Based Metrics
• Improving active Mealy machine learning for protocol conformance testing
• Improving Symbolic Automata Learning with Concolic Execution
• Active automata learning as black-box search and lazy partition refinement
• State identification and verification with satisfaction
• Benchmarking combinations of learning and testing algorithms for active automata learning
• $$\textsc {Reach}$$ on Register Automata via History Independence
• A new approach for active automata learning based on apartness
• Learning communicating state machines
• Active learning for sound negotiations
• Benchmarking combinations of learning and testing algorithms for automata learning
• A new perspective on conformance testing based on apartness
• New fault domains for conformance testing of finite state machines
• \(SL^{\lambda}\): a scalable algorithm for register automata learning
• Active learning of sequential transducers with side information about the domain

This page was built for publication: Benchmarks for automata learning and conformance testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6165820)