Inferring Mealy Machines-Reference-Cited by-同舟云学术

Inferring Mealy Machines

Published:2009 Issue: Volume: Page:207-222
ISSN:0302-9743
Container-title:FM 2009: Formal Methods
language:
Short-container-title:

Author:

Shahbaz Muzammil,Groz Roland

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-05089-3_14.pdf

Reference18 articles.

1. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 2, 87–106 (1987)

2. Lecture Notes in Computer Science;H. Muccini,2007

3. Shu, G., Lee, D.: Testing security properties of protocol implementations-a machine learning based approach. In: ICDCS, p. 25. IEEE Computer Society, Los Alamitos (2007)

4. Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Proceedings of FORTE 1999, Beijing, China (1999)

5. Lecture Notes in Computer Science;H. Hungar,2003

Cited by 116 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient construction of family-based behavioral models from adaptively learned models;Software and Systems Modeling;2024-08-07

2. Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations;Proceedings of the 19th International Conference on Availability, Reliability and Security;2024-07-30

3. Building Device Models Using LLMs for Requirements Simulation in Smart Homes;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24

4. Performance Analysis of Model-Based Functional Identification on Modified Measuring Instruments;2024 IEEE International Instrumentation and Measurement Technology Conference (I2MTC);2024-05-20

5. Active model learning of stochastic reactive systems (extended version);Software and Systems Modeling;2024-03-23