Improving active Mealy machine learning for protocol conformance testing
type: Item
instance of: scholarly article
title: Improving active Mealy machine learning for protocol conformance testing
zbMATH Open document ID: 1317.68087
author: Fides Aarts
author: Harco Kuppens
author: Jan Tretmans
author: Sicco Verwer
author: F. Vaandrager
published in: Machine Learning
publication date: 2014-12-05T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q32
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6377375
zbMATH Keywords: active learning
zbMATH Keywords: automaton learning
zbMATH Keywords: Mealy machines
zbMATH Keywords: state machine synthesis
zbMATH Keywords: model-based testing
zbMATH Keywords: protocol learning
zbMATH Keywords: model checking
describes a project that uses: MRMC
describes a project that uses: CADP
describes a project that uses: LearnLib
describes a project that uses: ADABU
describes a project that uses: JTorX
describes a project that uses: Uppaal
describes a project that uses: TorX
MaRDI profile type: Publication
full work available at URL: s10994-013-5405-0
OpenAlex ID: W2084056389
cites work: Learning I/O Automata
cites work: Automata Learning through Counterexample Guided Abstraction Refinement
cites work: A theory of timed automata
cites work: Mining specifications
cites work: Learning regular sets from queries and counterexamples
cites work: Q4336266
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Fundamental Approaches to Software Engineering
cites work: Model-based testing of reactive systems. Advanced lectures.
cites work: Towards Feasible PAC-Learning of Probabilistic Deterministic Finite Automata
cites work: Q3093192
cites work: Q3404129
cites work: Inference of \(\omega\)-languages from prefixes.
cites work: Q2754000
cites work: Formal Approaches to Software Testing
cites work: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
cites work: Complexity of automaton identification from given data
cites work: Inference of Event-Recording Automata Using Timed Decision Trees
cites work: A logic for reasoning about time and reliability
cites work: Symbolic model checking for real-time systems
cites work: Computer Aided Verification
cites work: Q4315289
cites work: Process Mining
cites work: Efficiently identifying deterministic real-time automata from labeled data
cites work: Assessing Test Data Adequacy through Program Inference
DOI: 10.1007/S10994-013-5405-0
description: scientific article; zbMATH DE number 6377375