Incremental learning-based testing for reactive systems
We show how the paradigm of learning-based testing (LBT) can be applied to automate
specification-based black-box testing of reactive systems. Since reactive systems can be …
specification-based black-box testing of reactive systems. Since reactive systems can be …
Cge: A sequential learning algorithm for mealy automata
K Meinke - International Colloquium on Grammatical Inference, 2010 - Springer
We introduce a new algorithm for sequential learning of Mealy automata by congruence
generator extension (CGE). Our approach makes use of techniques from term rewriting …
generator extension (CGE). Our approach makes use of techniques from term rewriting …
IDLIQ: An Incremental Deterministic Finite Automaton Learning Algorithm Through Inverse Queries for Regular Grammar Inference
We present an efficient incremental learning algorithm for Deterministic Finite Automaton
(DFA) with the help of inverse query (IQ) and membership query (MQ). This algorithm is an …
(DFA) with the help of inverse query (IQ) and membership query (MQ). This algorithm is an …
DLIQ: A deterministic finite automaton learning algorithm through inverse queries
Automaton learning has attained a renewed interest in many interesting areas of software
engineering including formal verification, software testing and model inference. An …
engineering including formal verification, software testing and model inference. An …
Review of Automaton Learning Algorithms with Polynomial Complexity--Completely Solved Examples
F Haneef - arXiv preprint arXiv:2404.11096, 2024 - arxiv.org
Automaton learning is a domain in which the target system is inferred by the automaton
learning algorithm in the form of an automaton, by synthesizing a finite number of inputs and …
learning algorithm in the form of an automaton, by synthesizing a finite number of inputs and …
Incremental Learning and Testing of Reactive Systems
M Sindhu - 2011 - diva-portal.org
This thesis concerns the design, implementation and evaluation of a specification based
testing architecture for reactive systems using the paradigm of learning-based testing. As …
testing architecture for reactive systems using the paradigm of learning-based testing. As …