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=

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=

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.