F. Aarts, B. Jonsson, and J. And-uijen, Generating models of infinite-state communication protocols using regular inference with abstraction, Testing Software and Systems, pp.188-204, 2010.
DOI : 10.1007/s10703-014-0216-x
URL : https://hal.archives-ouvertes.fr/hal-00767416

G. Ammons, R. Bodík, and J. R. Larus, Mining specifications, ACM SIGPLAN Notices, vol.37, issue.1, pp.4-16, 2002.
DOI : 10.1145/565816.503275

D. Angluin, Learning regular sets from queries and counterexamples, Information and Computation, vol.75, issue.2, pp.87-106, 1987.
DOI : 10.1016/0890-5401(87)90052-6
URL : https://doi.org/10.1016/0890-5401(87)90052-6

J. Antunes, N. Neves, and P. Verissimo, Reverse Engineering of Protocols from Network Traces, 2011 18th Working Conference on Reverse Engineering, pp.169-178, 2011.
DOI : 10.1109/WCRE.2011.28
URL : http://www.di.fc.ul.pt/%7Enuno/PAPERS/WCRE11.pdf

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

W. Durand and S. Salva, Passive testing of production systems based on model inference, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.138-147, 2015.
DOI : 10.1109/MEMCOD.2015.7340480

M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, Dynamically discovering likely program invariants to support program evolution, Proceedings of the 21st International Conference on Software Engineering, ICSE '99, pp.213-224, 1999.
DOI : 10.1109/icse.1999.841011

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, ICSE '10, pp.179-182, 2010.
DOI : 10.1145/1810295.1810324
URL : http://www.cs.washington.edu/homes/brun/pubs/pubs/Krka10icse-nier.pdf

D. Lorenzoli, L. Mariani, and M. Pezzè, Automatic generation of software behavioral models, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.501-510, 2008.
DOI : 10.1145/1368088.1368157

L. Mariani and F. Pastore, Automated Identification of Failure Causes in System Logs, 2008 19th International Symposium on Software Reliability Engineering (ISSRE), pp.117-126, 2008.
DOI : 10.1109/ISSRE.2008.48
URL : http://www.lta.disco.unimib.it/lta/uploads/papers/Mariani-LogFile-ISSRE-2008.pdf

L. Mariani and M. Pezze, Dynamic Detection of COTS Component Incompatibility, IEEE Software, vol.24, issue.5, pp.76-85, 2007.
DOI : 10.1109/MS.2007.138

L. Mariani, M. Pezz, and M. Santoro, Gktail+ an efficient approach to learn software models, IEEE Transactions on Software Engineering, issue.8, pp.43715-738, 2017.
DOI : 10.1109/tse.2016.2623623

K. Meinke and M. Sindhu, Incremental Learning-Based Testing for Reactive Systems, Tests and Proofs, pp.134-151, 2011.
DOI : 10.1007/978-3-642-16573-3_10
URL : http://www.csc.kth.se/tcs/publications/2011/tap2011.pdf

M. Pradel and T. R. Gross, Automatic Generation of Object Usage Specifications from Large Method Traces, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.371-382, 2009.
DOI : 10.1109/ASE.2009.60

K. P. Yoon and C. Hwang, Multiple attribute decision making: An introduction (quantitative applications in the social sciences), 1995.
DOI : 10.4135/9781412985161