Inferring Mealy Machines - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Inferring Mealy Machines

Résumé

Automata learning techniques are getting significant importance for their applications in a wide variety of software engineering problems, especially in the analysis and testing of complex systems. In recent studies, a previous learning approach [1] has been extended to synthesize Mealy machine models which are specifically tailored for I/O based systems. In this paper, we discuss the inference of Mealy machines and propose improvements that reduces the worst-time learning complexity of the existing algorithm. The gain over the complexity of the proposed algorithm has also been confirmed by experimentation on a large set of finite state machines.

Dates et versions

hal-00953587 , version 1 (28-02-2014)

Identifiants

Citer

Muzammil Shahbaz, Roland Groz. Inferring Mealy Machines. Formal Methods 2009, 2009, Eindhoven, Netherland, pp.207-222, ⟨10.1007/978-3-642-05089-3_14⟩. ⟨hal-00953587⟩
338 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More