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 : http://doi.org/10.1016/0890-5401(87)90052-6

T. Berg, O. Grinchtein, B. Jonsson, M. Leucker, H. Raffelt et al., On the Correspondence Between Conformance Testing and Regular Inference, Fundamental Approaches to Software Engineering (FASE'05), pp.175-189, 2005.
DOI : 10.1007/978-3-540-31984-9_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.6738

F. Bergadano and D. Gunetti, Testing by means of inductive program learning, ACM Transactions on Software Engineering and Methodology, vol.5, issue.2, pp.119-145, 1996.
DOI : 10.1145/227607.227611
URL : https://iris.unito.it/bitstream/2318/126733/1/p119-tosem.pdf

A. Blumer, A. Ehrenfeucht, D. Haussler, and M. Warmuth, Learnability and the Vapnik-Chervonenkis dimension, Journal of the ACM, vol.36, issue.4, pp.929-965, 1989.
DOI : 10.1145/76359.76371

L. Briand, Y. Labiche, Z. Bawar, and N. Spido, Using machine learning to refine Category-Partition test specifications and test suites, Information and Software Technology, vol.51, issue.11, pp.1551-1564, 2009.
DOI : 10.1016/j.infsof.2009.06.006
URL : http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.163.9573&rep=rep1&type=pdf

J. Cherniavsky and C. Smith, A Recursion Theoretic Approach to Program Testing, IEEE Transactions on Software Engineering, vol.13, issue.7, 1987.
DOI : 10.1109/TSE.1987.233489

P. Dupont, L. Miclet, and E. Vidal, What is the search space of the regular inference?, 1994.
DOI : 10.1007/3-540-58473-0_134

K. Ghani and J. Clark, Strengthening Inferred Specifications using Search Based Testing, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008.
DOI : 10.1109/ICSTW.2008.39
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.6883

D. Haussler, Quantifying inductive bias: AI learning algorithms and Valiant's learning framework, Artificial Intelligence, vol.36, issue.2, pp.177-221, 1988.
DOI : 10.1016/0004-3702(88)90002-1

C. De-la-higuera, Grammatical Inference: Learning Automata and Grammars, 2010.
DOI : 10.1017/CBO9781139194655
URL : https://hal.archives-ouvertes.fr/hal-00476128

K. Lang, B. Pearlmutter, and R. Price, Results of the Abbadingo one DFA learning competition and a new evidence-driven state merging algorithm, International Colloquium on Grammatical Inference and Applications(ICGI). LNAI, pp.1-12, 1998.
DOI : 10.1007/BFb0054059

M. Last, Data Mining for Software Testing, pp.1239-1248, 2005.
DOI : 10.1007/0-387-25465-X_59

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, pp.1090-1126, 1996.
DOI : 10.1109/5.533956

T. Mitchell, Machine Learning, 1997.

T. Mitchell, Generalization as search, Artificial Intelligence, vol.18, issue.2, pp.203-226, 1982.
DOI : 10.1016/0004-3702(82)90040-6

N. Nagappan, B. Murphy, and V. Basili, The influence of organizational structure on software quality, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.521-530, 2008.
DOI : 10.1145/1368088.1368160

J. Perkins and M. Ernst, Efficient incremental algorithms for dynamic detection of likely invariants, ACM SIGSOFT Software Engineering Notes, vol.29, issue.6, pp.23-32, 2004.
DOI : 10.1145/1041685.1029901

E. Poll and A. Schubert, Verifying an implementation of ssh, Issues of Theory of Security, pp.164-177, 2007.

H. Raffelt and B. Steffen, LearnLib, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, pp.377-380, 2006.
DOI : 10.1145/1081180.1081189
URL : https://hal.archives-ouvertes.fr/inria-00459959

K. Romanik, Approximate testing and its relationship to learning, Theoretical Computer Science, vol.188, issue.1-2, pp.175-194, 1997.
DOI : 10.1016/S0304-3975(96)00241-1
URL : http://doi.org/10.1016/s0304-3975(96)00241-1

K. Romanik and J. Vitter, Using Vapnik???Chervonenkis Dimension to Analyze the Testing Complexity of Program Segments, Information and Computation, vol.128, issue.2, pp.87-108, 1996.
DOI : 10.1006/inco.1996.0065

S. Shahamiri, W. Kadira, S. Ibrahima, and S. Hashim, An automated framework for software test oracle, Information and Software Technology, 2011.
DOI : 10.1016/j.infsof.2011.02.006

M. Shahbaz and R. Groz, Inferring Mealy Machines, LNCS, pp.207-222, 2009.
DOI : 10.1007/978-3-642-05089-3_14
URL : https://hal.archives-ouvertes.fr/hal-00953587

L. Valiant, A theory of the learnable, Communications of the ACM, vol.27, issue.11, pp.1134-1142, 1984.
DOI : 10.1145/1968.1972

V. Vapnik and A. Chervonenkis, On the uniform convergence of relative frequencies of events to their probabilities, Theory of Probability and its Applications, pp.264-280, 1971.

N. Walkinshaw, The Practical Assessment of Test Sets with Inductive Inference Techniques, TAIC PART, pp.165-172, 2010.
DOI : 10.1007/978-3-642-15585-7_16

N. Walkinshaw, K. Bogdanov, C. Damas, B. Lambeau, and P. Dupont, A framework for the competitive evaluation of model inference techniques, Proceedings of the First International Workshop on Model Inference In Testing, MIIT '10, pp.1-9, 2010.
DOI : 10.1145/1868044.1868045

N. Walkinshaw, K. Bogdanov, J. Derrick, and J. Paris, Increasing Functional Coverage by Inductive Testing: A Case Study, International Conference on Testing Software and Systems (ICTSS), 2010.
DOI : 10.1007/978-3-642-16573-3_10
URL : https://hal.archives-ouvertes.fr/hal-01055254

N. Walkinshaw, J. Derrick, and Q. Guo, Iterative Refinement of Reverse-Engineered Models by Model-Based Testing, Formal Methods (FM). pp. 305?320, 2009.
DOI : 10.1007/978-3-642-05089-3_20

E. Weyuker, Assessing Test Data Adequacy through Program Inference, ACM Transactions on Programming Languages and Systems, vol.5, issue.4, pp.641-655, 1983.
DOI : 10.1145/69575.357231
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.5002

H. Zhu, A Formal Interpretation of Software Testing as Inductive Inference, Software Testing, Verification and Reliability, vol.6, issue.1, pp.3-31, 1996.
DOI : 10.1002/(SICI)1099-1689(199603)6:1<3::AID-STVR108>3.0.CO;2-D

H. Zhu, P. Hall, and J. May, Inductive inference and software testing, Software Testing , Verification, and Reliability, pp.69-81, 1992.
DOI : 10.1109/TSE.1975.6312836