On the public citation graph
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
0 signed · 69 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/inco.1993.1021openalex-snapshot
Inference of Finite Automata Using Homing Sequences
inferredcites →https://doi.org/10.1007/11814771_40openalex-snapshot
Inferring Network Invariants Automatically
inferredcites →https://doi.org/10.1007/978-3-030-20652-9_1openalex-snapshot
Learning-Based Testing of an Industrial Measurement Device
inferredcites →https://doi.org/10.1007/978-3-030-22348-9_23openalex-snapshot
Benchmarks for Automata Learning and Conformance Testing
inferredcites →https://doi.org/10.1007/978-3-030-31280-0_1openalex-snapshot
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
inferredcites →https://doi.org/10.1007/978-3-030-50995-8_1openalex-snapshot
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
inferredcites →https://doi.org/10.1007/978-3-030-55754-6_1openalex-snapshot
From Passive to Active: Learning Timed Automata Efficiently
inferredcites →https://doi.org/10.1007/978-3-030-57321-8_19openalex-snapshot
On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks
inferredcites →https://doi.org/10.1007/978-3-030-64881-7_4openalex-snapshot
Learning Abstracted Non-deterministic Finite State Machines
inferredcites →https://doi.org/10.1007/978-3-030-88885-5_24openalex-snapshot
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
inferredcites →https://doi.org/10.1007/978-3-030-88885-5_5openalex-snapshot
AALpy: An Active Automata Learning Library
inferredcites →https://doi.org/10.1007/978-3-030-90870-6_28openalex-snapshot
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning
inferredcites →https://doi.org/10.1007/978-3-030-92124-8_27openalex-snapshot
Active Model Learning of Stochastic Reactive Systems
inferredcites →https://doi.org/10.1007/978-3-031-07727-2_13openalex-snapshot
Learning Finite State Models from Recurrent Neural Networks
inferredcites →https://doi.org/10.1007/978-3-319-11164-3_26openalex-snapshot
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
inferredcites →https://doi.org/10.1007/978-3-319-21690-4_32openalex-snapshot
The Open-Source LearnLib
inferredcites →https://doi.org/10.1007/978-3-319-25423-4_5openalex-snapshot
Applying Automata Learning to Embedded Control Software
inferredcites →https://doi.org/10.1007/978-3-319-41540-6_25openalex-snapshot
Combining Model Learning and Model Checking to Analyze TCP Implementations
inferredcites →https://doi.org/10.1007/978-3-319-48989-6_18openalex-snapshot
Learning Moore Machines from Input-Output Traces
inferredcites →https://doi.org/10.1007/978-3-319-77313-1_14openalex-snapshot
Model Learning as a Satisfiability Modulo Theories Problem
inferredcites →https://doi.org/10.1007/978-3-319-96562-8openalex-snapshot
Machine Learning for Dynamic Software Analysis: Potentials and Limits
inferredcites →https://doi.org/10.1007/978-3-319-96562-8_2openalex-snapshot
Learning-Based Testing: Recent Progress and Future Prospects
inferredcites →https://doi.org/10.1007/978-3-319-96562-8_3openalex-snapshot
Model Learning and Model-Based Testing
inferredcites →https://doi.org/10.1007/978-3-540-31984-9_14openalex-snapshot
On the Correspondence Between Conformance Testing and Regular Inference
inferredcites →https://doi.org/10.1007/978-3-540-74792-5_6openalex-snapshot
Learning Meets Verification
inferredcites →https://doi.org/10.1007/978-3-642-05089-3_14openalex-snapshot
Inferring Mealy Machines
inferredcites →https://doi.org/10.1007/978-3-642-05089-3_20openalex-snapshot
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
inferredcites →https://doi.org/10.1007/978-3-642-14684-8_15openalex-snapshot
Zulu: An Interactive Learning Competition
inferredcites →https://doi.org/10.1007/978-3-642-15488-1_13openalex-snapshot
CGE: A Sequential Learning Algorithm for Mealy Automata
inferredcites →https://doi.org/10.1007/978-3-642-21455-4_8openalex-snapshot
Introduction to Active Automata Learning from a Practical Perspective
inferredcites →https://doi.org/10.1007/978-3-642-21768-5_11openalex-snapshot
Incremental Learning-Based Testing for Reactive Systems
inferredcites →https://doi.org/10.1007/s00236-020-00387-2openalex-snapshot
DKL: an efficient algorithm for learning deterministic Kripke structures
inferredcites →https://doi.org/10.1007/s10703-019-00333-0openalex-snapshot
Probabilistic black-box reachability checking (extended version)
inferredcites →https://doi.org/10.1007/s10817-018-9486-0openalex-snapshot
Efficient Active Automata Learning via Mutation Testing
inferredcites →https://doi.org/10.1007/s11334-019-00342-6openalex-snapshot
Sound black-box checking in the LearnLib
inferredcites →https://doi.org/10.1016/0890-5401(87)90052-6openalex-snapshot
Learning regular sets from queries and counterexamples
inferredcites →https://doi.org/10.1016/j.entcs.2004.12.015openalex-snapshot
Insights to Angluin's Learning
inferredcites →https://doi.org/10.1109/32.87284openalex-snapshot
Test selection based on finite state models
inferredcites →https://doi.org/10.1109/hldvt.2004.1431246openalex-snapshot
Efficient test-based model generation for legacy reactive systems
inferredcites →https://doi.org/10.1109/icst.2017.32openalex-snapshot
Model-Based Testing IoT Communication via Active Automata Learning
inferredcites →https://doi.org/10.1109/icst49551.2021.00017openalex-snapshot
Learning-Based Fuzzing of IoT Message Brokers
inferredcites →https://doi.org/10.1109/icstw.2019.00030openalex-snapshot
Case Studies in Learning Models and Testing Without Reset
inferredcites →https://doi.org/10.1109/tse.1978.231496openalex-snapshot
Testing Software Design Modeled by Finite-State Machines
inferredcites →https://doi.org/10.1145/1390156openalex-snapshot
Proceedings of the 25th international conference on Machine learning - ICML '08
inferredcites →https://doi.org/10.1145/3092282.3092289openalex-snapshot
Model learning and model checking of SSH implementations
inferredcites →https://doi.org/10.1145/3243127.3243129openalex-snapshot
Learning-based testing for autonomous systems using spatial and temporal requirements
inferredcites →https://doi.org/10.17877/de290r-14871openalex-snapshot
An integrated approach to testing complex systems
inferredcites →https://doi.org/10.2307/1412159openalex-snapshot
The Proof and Measurement of Association between Two Things
inferredcites →https://doi.org/10.23919/fmcad.2018.8602991openalex-snapshot
Automata Learning for Symbolic Execution
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-68416-6_9openalex-snapshot
MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by Using Imprecise Symbol Filters
inferred← citeshttps://doi.org/10.1007/978-3-032-05792-1_10openalex-snapshot
Learning Mealy Machines with Sparse Observation Tables
inferred← citeshttps://doi.org/10.1007/978-3-032-08707-2_9openalex-snapshot
Learning Verified Monitors for Hidden Markov Models
inferred← citeshttps://doi.org/10.1007/978-3-032-26220-2_17openalex-snapshot
Active Automata Learning with Noisy Data: From Big to Small Data
inferred← citeshttps://doi.org/10.1007/s10009-026-00839-zopenalex-snapshot
A research agenda for active automata learning
inferred← citeshttps://doi.org/10.1007/s10515-026-00598-wopenalex-snapshot
Design and optimization of a test case generation algorithm for real-time embedded systems based on adaptive Q-Learning
inferred← citeshttps://doi.org/10.1016/j.dsp.2024.104596openalex-snapshot
Automatic reconstruction of radar pulse repetition pattern based on model learning
inferred← citeshttps://doi.org/10.1016/j.jlamp.2026.101142openalex-snapshot
Towards a formal digital twin of the PTP protocol using automata learning
inferred← citeshttps://doi.org/10.1109/icstw64639.2025.10962513openalex-snapshot
Mutating Skeletons: Learning Timed Automata via Domain Knowledge
inferred← citeshttps://doi.org/10.1109/tse.2025.3604472openalex-snapshot
Efficient State Identification for Finite State Machine-Based Testing
inferred← citeshttps://doi.org/10.1145/3639478.3639793openalex-snapshot
Learning Models of Cyber-Physical Systems with Discrete and Continuous Behaviour for Digital Twin Synthesis
inferred← citeshttps://doi.org/10.1145/3656458openalex-snapshot
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
inferred← citeshttps://doi.org/10.1145/3762659openalex-snapshot
Efficient Black-Box Checking with Specification-Guided Abstraction
inferred← citeshttps://doi.org/10.1145/3763054openalex-snapshot
Static Inference of Regular Grammars for Ad Hoc Parsers
inferred← citeshttps://doi.org/10.1145/3832783.3834347openalex-snapshot
Quick Bug Detection through Black-Box Checking
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.