Learning Abstracted Non-deterministic Finite State Machines

[1]  Tiziana Margaria,et al.  Efficient test-based model generation for legacy reactive systems , 2004, Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940).

[2]  Bernhard K. Aichernig,et al.  Learning-Based Testing of an Industrial Measurement Device , 2019, NFM.

[3]  Faron Moller,et al.  A Temporal Calculus of Communicating Systems , 1990, CONCUR.

[4]  Bernhard Steffen,et al.  The Open-Source LearnLib - A Framework for Active Automata Learning , 2015, CAV.

[5]  Kim G. Larsen,et al.  L*-Based Learning of Markov Decision Processes , 2019, FM.

[6]  Ronald L. Rivest,et al.  Inference of finite automata using homing sequences , 1989, STOC '89.

[7]  Joeri de Ruiter,et al.  Protocol State Fuzzing of TLS Implementations , 2015, USENIX Security Symposium.

[8]  T. Aoki,et al.  Active Learning of Nondeterministic Finite State Machines , 2013 .

[9]  Bengt Jonsson,et al.  On the Correspondence Between Conformance Testing and Regular Inference , 2005, FASE.

[10]  Bernhard K. Aichernig,et al.  Model-Based Testing IoT Communication via Active Automata Learning , 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

[11]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[12]  Ali Khalili,et al.  Learning Nondeterministic Mealy Machines , 2014, ICGI.

[13]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[14]  Khaled El-Fakih,et al.  Learning Finite State Models of Observable Nondeterministic Systems in a Testing Context , 2010, ICTSS 2010.

[15]  Bengt Jonsson,et al.  Generating models of infinite-state communication protocols using regular inference with abstraction , 2015, Formal Methods Syst. Des..

[16]  E. Mark Gold,et al.  System identification via state characterization , 1972 .

[17]  Oliver Niese,et al.  An integrated approach to testing complex systems , 2003 .

[18]  Joeri de Ruiter,et al.  Analysis of DTLS Implementations Using Protocol State Fuzzing , 2020, USENIX Security Symposium.

[19]  Jan Tretmans,et al.  Active Learning of Nondeterministic Systems from an ioco Perspective , 2014, ISoLA.

[20]  Frits W. Vaandrager,et al.  Automata Learning through Counterexample Guided Abstraction Refinement , 2012, FM.

[21]  Jan Tretmans,et al.  Approximate Active Learning of Nondeterministic Input Output Transition Systems , 2015, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[22]  Roland Groz,et al.  Inferring Mealy Machines , 2009, FM.

[23]  Alexandre Petrenko,et al.  Learning and Adaptive Testing of Nondeterministic State Machines , 2019, 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS).

[24]  Mihalis Yannakakis,et al.  Black Box Checking , 1999, FORTE.