Learning Moore Machines from Input-Output Traces

This publication has 45 references indexed in Scilit:

• An approach to the inference of finite state machines based on a gravitationally-inspired search algorithm; pp. 39–46
  Proceedings of the Estonian Academy of Sciences, 2013
• FSM-based conformance testing methods: A survey annotated with experimental evaluation
  Information and Software Technology, 2010
• A polynomial time algorithm to infer sequential machines
  Systems and Computers in Japan, 2002
• Results of the Abbadingo one DFA learning competition and a new evidence-driven state merging algorithm
  1998
• Principles and methods of testing finite state machines-a survey
  Proceedings of the IEEE, 1996
• Incremental regular inference
  1996
• IDENTIFYING REGULAR LANGUAGES IN POLYNOMIAL TIME
  1993
• Learning regular sets from queries and counterexamples
  Information and Computation, 1987
• Complexity of automaton identification from given data
  Information and Control, 1978
• Language identification in the limit
  Information and Control, 1967