G. Ammons, R. Bodík, and J. R. Larus, Mining specifications, SIGPLAN Not, vol.37, issue.1, pp.4-16, 2002.

I. Beschastnikh, Y. Brun, M. D. Ernst, and A. Krishnamurthy, Inferring models of concurrent systems from logs of their behavior with csight, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.468-479, 2014.

A. Biermann and J. Feldman, On the synthesis of finite-state machines from samples of their behavior. Computers, IEEE Transactions, issue.21, pp.592-597, 1972.

Q. Fu, J. Lou, Y. Wang, L. , and J. , Execution anomaly detection in distributed systems through unstructured log analysis, Ninth IEEE International Conference on Data Mining, pp.149-158, 2009.

R. Groz, K. Li, A. Petrenko, and M. Shahbaz, Modular system verification by inference, testing and reachability analysis, Testing of Software and Communicating Systems, pp.216-233, 2008.

I. Krka, Y. Brun, D. Popescu, J. Garcia, and N. Medvidovic, Using dynamic execution traces and program invariants to enhance behavioral model inference, Proceedings of the 32Nd ACM/IEEE International Conference on Software Engineering, vol.2, pp.179-182, 2010.

D. Lo, L. Mariani, and M. Santoro, Learning extended fsa from software: An empirical assessment, Selected papers from the 2011 Joint Working IEEE/IFIP Conference on Software Architecture, vol.85, pp.2063-2076, 2011.

D. Lorenzoli, L. Mariani, and M. Pezzè, Automatic generation of software behavioral models, Proceedings of the 30th International Conference on Software Engineering, ICSE'08, pp.501-510, 2008.

A. Makanju, A. N. Zincir-heywood, and E. E. Milios, A lightweight algorithm for message type extraction in system application logs, IEEE Transactions on Knowledge and Data Engineering, vol.24, issue.11, pp.1921-1936, 2012.

L. Mariani and F. Pastore, Automated identification of failure causes in system logs, Software Reliability Engineering, pp.117-126, 2008.

L. Mariani, F. Pastore, and M. Pezze, Dynamic analysis for diagnosing integration faults, IEEE Transactions on Software Engineering, vol.37, issue.4, pp.486-508, 2011.

S. Messaoudi, A. Panichella, D. Bianculli, L. Briand, and R. Sasnauskas, A search-based approach for accurate identification of log message formats, Proceedings of the 26th Conference on Program Comprehension, ICPC '18, pp.167-177, 2018.

T. Ohmann, M. Herzberg, S. Fiss, A. Halbert, M. Palyart et al., Behavioral resource-aware model inference, Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, ASE '14, pp.19-30, 2014.

F. Pastore, D. Micucci, and L. Mariani, Timed k-tail: Automatic inference of timed automata, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp.401-411, 2017.

A. Petrenko and F. Avellaneda, Learning communicating state machines, Tests and Proofs -13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods, pp.112-128, 2019.

S. Salva and E. Blot, Reverse engineering behavioural models of iot devices, 31st International Conference on Software Engineering & Knowledge Engineering (SEKE), pp.Portu- gal, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02134046

S. Salva and W. Durand, Autofunk, a fast and scalable framework for building formal models from production systems, Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, DEBS '15, pp.193-204, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02019678

R. Vaarandi and M. Pihelgas, Logclustera data clustering and pattern mining algorithm for event logs, 11th International Conference on Network and Service Management (CNSM), pp.1-7, 2015.

J. Zhu, S. He, J. Liu, P. He, Q. Xie et al., Tools and benchmarks for automated log parsing, 2018.