Gray-Box Learning of Serial Compositions of Mealy Machines-Reference-Cited by-同舟云学术

Gray-Box Learning of Serial Compositions of Mealy Machines

Published:2016 Issue: Volume: Page:272-287
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Abel Andreas,Reineke Jan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-40648-0_21

Reference20 articles.

1. Abel, A., Reineke, J.: MeMin: SAT-based exact minimization of incompletely specified mealy machines. In: ICCAD 2015. IEEE Press (2015)

2. Angluin, D.: Learning regular sets from queries and counter examples. Inf. Comput. 75(2), 87–106 (1987)

3. Babic, D., Botincan, M., Song, D.: Symbolic grey-box learning of input-output relations. Technical Report UCB/EECS-2012-59. University of California, Berkeley (2012)

4. Lecture Notes in Computer Science;JM Cobleigh,2003

5. Lecture Notes in Computer Science;E Elkind,2006

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

1. Small Test Suites for Active Automata Learning;Lecture Notes in Computer Science;2024

2. Compositional Automata Learning of Synchronous Systems;Fundamental Approaches to Software Engineering;2023

3. Learning Realtime One-Counter Automata;Tools and Algorithms for the Construction and Analysis of Systems;2022

4. Active Learning of Sequential Transducers with Side Information About the Domain;Developments in Language Theory;2021

5. An Effective Model-Based Integration Testing Technique for Component-Based Software;2019 International Conference on Computer and Information Sciences (ICCIS);2019-04