F. Aarts, B. Jonsson, and J. Uijen, Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction, Proc. ICTSS, 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, pp.188-204, 2010.
DOI : 10.1007/978-3-642-16573-3_14

URL : https://hal.archives-ouvertes.fr/hal-00767416

F. Aarts, J. Schmaltz, and F. Vaandrager, Inference and Abstraction of the Biometric Passport, Proc. ISoLA, 4th International Symposium On Leveraging Applications of Formal Methods, pp.673-686, 2010.
DOI : 10.1007/978-3-540-78917-8_1

G. Ammons, R. Bodik, and J. Larus, Mining specifications, Proc. 29 th ACM Symp. on Principles of Programming Languages, pp.4-16, 2002.
DOI : 10.1145/565816.503275

D. Angluin, Learning regular sets from queries and counterexamples. Information and Computation, pp.87-106, 1987.
DOI : 10.1016/0890-5401(87)90052-6

URL : http://doi.org/10.1016/0890-5401(87)90052-6

T. Berg, B. Jonsson, and H. Raffelt, Regular Inference for State Machines with Parameters, Lecture Notes in Computer Science, vol.3922, pp.107-121, 2006.
DOI : 10.1007/11693017_10

T. Berg, B. Jonsson, and H. Raffelt, Regular Inference for State Machines Using Domains with Equality Tests, Lecture Notes in Computer Science, vol.4961, pp.317-331, 2008.
DOI : 10.1007/978-3-540-78743-3_24

Y. Brun and M. Ernst, Finding latent code errors via machine learning over program executions, Proceedings. 26th International Conference on Software Engineering, 2004.
DOI : 10.1109/ICSE.2004.1317470

E. M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexample-guided abstraction refinement for symbolic model checking, Journal of the ACM, vol.50, issue.5, pp.752-794, 2003.
DOI : 10.1145/876638.876643

J. Cobleigh, D. Giannakopoulou, and C. Pasareanu, Learning Assumptions for Compositional Verification, Proc. TACAS '03, 9 th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp.331-346, 2003.
DOI : 10.1007/3-540-36577-X_24

P. Dupont, Incremental regular inference, ICGI, pp.222-237, 1996.
DOI : 10.1007/BFb0033357

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3539

M. D. Ernst, J. H. Perkins, P. J. Guo, S. Mccamant, C. Pacheco et al., The Daikon system for dynamic detection of likely invariants, Science of Computer Programming, vol.69, issue.1-3, pp.1-335, 2007.
DOI : 10.1016/j.scico.2007.01.015

E. M. Gold, Language identification in the limit, Information and Control, vol.10, issue.5, pp.447-474, 1967.
DOI : 10.1016/S0019-9958(67)91165-5

O. Grinchtein, Learning of Timed Systems, 2008.

O. Grinchtein, B. Jonsson, and M. Leucker, Learning of event-recording automata, Proceedings of the Joint Conferences FORMATS and FTRTFT, pp.379-396, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00459696

A. Groce, D. Peled, and M. Yannakakis, Adaptive Model Checking, Proc. TACAS '02, 8 th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp.357-370, 2002.
DOI : 10.1007/3-540-46002-0_25

R. Groz, K. Li, A. Petrenko, and M. Shahbaz, Modular System Verification by Inference, Testing and Reachability Analysis, Lecture Notes in Computer Science, vol.18, issue.1, pp.216-233, 2008.
DOI : 10.1007/3-540-48683-6_12

A. Hagerer, H. Hungar, O. Niese, and B. Steffen, Model Generation by Moderated Regular Extrapolation, Proc. FASE '02, 5 th Int. Conf. on Fundamental Approaches to Software Engineering, pp.80-95, 2002.
DOI : 10.1007/3-540-45923-5_6

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.1130

F. Howar, B. Steffen, and M. Merten, Automata Learning with Automated Alphabet Abstraction Refinement, VMCAI, Verification, Model Checking, and Abstract Interpretation -12th International Conference, VMCAI 2011, pp.263-277, 2011.
DOI : 10.1007/978-3-642-05089-3_14

URL : https://hal.archives-ouvertes.fr/hal-00647711

A. Huima, Implementing Conformiq Qtronic, Proc. TestCom/FATES, pp.1-12, 2007.
DOI : 10.1007/978-3-540-73066-8_1

H. Hungar, O. Niese, and B. Steffen, Domain-Specific Optimization in Automata Learning, Proc. 15 th Int. Conf. on Computer Aided Verification, 2003.
DOI : 10.1007/978-3-540-45069-6_31

V. Issarny, B. Steffen, B. Jonsson, G. S. Blair, P. Grace et al., CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp.154-161, 2009.
DOI : 10.1109/ICECCS.2009.44

URL : https://hal.archives-ouvertes.fr/inria-00392809

M. Kearns and U. Vazirani, An Introduction to Computational Learning Theory, 1994.

K. Li, R. Groz, and M. Shahbaz, Integration Testing of Distributed Components Based on Learning Parameterized I/O Models, Lecture Notes in Computer Science, vol.2, pp.436-450, 2006.
DOI : 10.1109/ICSE.2001.919077

D. Lo and S. Maoz, Scenario-based and value-based specification mining, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.387-396, 2010.
DOI : 10.1145/1858996.1859081

C. Loiseaux, S. Graf, J. Sifakis, A. Boujjani, and S. Bensalem, Property preserving abstractions for the verification of concurrent systems, Formal Methods in System Design, vol.55, issue.1, pp.11-44, 1995.
DOI : 10.1007/BF01384313

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 M. Pezzè, Dynamic Detection of COTS Component Incompatibility, IEEE Software, vol.24, issue.5, pp.76-85, 2007.
DOI : 10.1109/MS.2007.138

D. Peled, M. Y. Vardi, and M. Yannakakis, Black Box Checking, Formal Methods for Protocol Engineering and Distributed Systems, FORTE/PSTV, pp.225-240, 1999.
DOI : 10.1007/978-0-387-35578-8_13

R. Rivest and R. Schapire, Inference of Finite Automata Using Homing Sequences, Information and Computation, vol.103, issue.2, pp.299-347, 1993.
DOI : 10.1006/inco.1993.1021

M. Shahbaz, K. Li, and R. Groz, Learning and Integration of Parameterized Components Through Testing, Lecture Notes in Computer Science, vol.4581, pp.319-334, 2007.
DOI : 10.1007/978-3-540-73066-8_22

G. Shu and D. Lee, Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach, 27th International Conference on Distributed Computing Systems (ICDCS '07), 2007.
DOI : 10.1109/ICDCS.2007.147

B. Trakhtenbrot and J. Barzdin, Finite automata: behaviour and synthesis, 1973.