H. Zhu, P. A. Hall, and J. H. May, Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, pp.366-427, 1997.
DOI : 10.1145/267580.267590
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.7961

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

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

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

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

M. Harder, J. Mellen, and M. Ernst, Improving test suites via operational abstraction, 25th International Conference on Software Engineering, 2003. Proceedings., pp.60-71, 2003.
DOI : 10.1109/ICSE.2003.1201188
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.5030

T. Xie and D. Notkin, Mutually Enhancing Test Generation and Specification Inference, Proceedings of FATES 2003, pp.60-69, 2003.
DOI : 10.1007/978-3-540-24617-6_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.4003

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

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

B. Bollig, J. Katoen, C. Kern, and M. Leucker, Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning, Proceedings of Concurrency Theory, pp.162-166, 2008.
DOI : 10.1007/978-3-540-85361-9_15

M. Shahbaz and R. Groz, Inferring Mealy Machines, Proceedings of Formal Methods (FM'09, pp.207-222, 2009.
DOI : 10.1007/978-3-642-05089-3_14
URL : https://hal.archives-ouvertes.fr/hal-00953587

H. Raffelt, M. Merten, B. Steffen, and T. Margaria, Dynamic testing via automata learning, International Journal on Software Tools for Technology Transfer, vol.17, issue.6, pp.307-324, 2009.
DOI : 10.1007/s10009-009-0120-7
URL : https://hal.archives-ouvertes.fr/inria-00459956

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

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

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

P. Dupont, B. Lambeau, C. Damas, and A. Van-lamsweerde, THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION, Applied Artificial Intelligence, vol.20, issue.1-2, pp.77-115, 2008.
DOI : 10.1109/32.738341

C. Pacheco, S. Lahiri, M. Ernst, and T. Ball, Feedback-Directed Random Test Generation, 29th International Conference on Software Engineering (ICSE'07), pp.75-84, 2007.
DOI : 10.1109/ICSE.2007.37

J. Hopcroft, R. Motwani, and J. Ullman, Introduction to Automata Theory, Languages , and Computation, Second Edition, 2001.

J. Postel, Transmission control protocol, DDN Network Information Center, SRI International, 1981.
DOI : 10.17487/rfc0793

J. Paris and T. Arts, Automatic testing of TCP/IP implementations using QuickCheck, Proceedings of the 8th ACM SIGPLAN workshop on Erlang, Erlang '09, pp.83-92, 2009.
DOI : 10.1145/1596600.1596612

J. Armstrong, Programming Erlang: Software for a Concurrent World, 2007.
DOI : 10.1007/978-3-540-73589-2_1

K. Claessen and J. Hughes, Quickcheck: A Lightweight Tool for Random Testing of Haskell Programs, Proceedings of the International Conference on Functional Programming (ICFP), pp.268-279, 2000.

N. Walkinshaw, K. Bogdanov, M. Holcombe, and S. Salahuddin, Reverse Engineering State Machines by Interactive Grammar Inference, 14th Working Conference on Reverse Engineering (WCRE 2007), 2007.
DOI : 10.1109/WCRE.2007.45

A. Arcuri, Longer is Better: On the Role of Test Sequence Length in Software Testing, 2010 Third International Conference on Software Testing, Verification and Validation
DOI : 10.1109/ICST.2010.16