Benchmarking combinations of learning and testing algorithms for automata learning

DOI10.1145/3605360MaRDI QIDQ7028283zbMATH OpenFDO

Authors Bernhard K. Aichernig, Martin Tappler

Publication date 12 February 2025

Published in Formal Aspects of Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

model-based testingconformance testingactive automata learningmodel learningLearnLibpassive automata learning

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational learning theory (68Q32)

This page was built for publication: Benchmarking combinations of learning and testing algorithms for automata learning

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