L. Bréhélin, O. Gascuel, and G. Caraux, Hidden Markov models with patterns to learn Boolean vector sequences and applications to the built-in self-test for integrated circuits, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.23, issue.9, pp.997-1008, 2001.
DOI : 10.1109/34.955112

N. Baskiotis, M. Sebag, M. C. Gaudel, and S. D. Gouraud, Software testing: A machine learning approach, Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp.2274-2279, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00112681

G. Xiao, F. Southey, R. C. Holte, and D. F. Wilkinson, Software testing by active learning for commercial games, Proceedings of the 20th National Conference on Artificial Intelligence (AAAI), pp.898-903, 2005.

A. X. Zheng, M. I. Jordan, B. Liblit, M. Naik, and A. Aiken, Statistical debugging, Proceedings of the 23rd international conference on Machine learning , ICML '06, pp.1105-1112, 2006.
DOI : 10.1145/1143844.1143983

A. Denise, M. C. Gaudel, and S. D. Gouraud, A Generic Method for Statistical Testing, 15th International Symposium on Software Reliability Engineering, pp.25-34, 2004.
DOI : 10.1109/ISSRE.2004.2

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation, 1979.
DOI : 10.1145/568438.568455

S. Dasgupta, Coarse sample complexity bounds for active learning, Advances in Neural Information Processing Systems, pp.235-242, 2005.

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

S. D. Gouraud, Statistical Software Testing based on Structural Combinatorics, 2004.

P. Flajolet, P. Zimmermann, and B. V. Cutsem, A calculus for the random generation of labelled combinatorial structures, Theoretical Computer Science, vol.132, issue.1-2, pp.1-35, 1994.
DOI : 10.1016/0304-3975(94)90226-7
URL : https://hal.archives-ouvertes.fr/hal-00917729

R. Begleiter, R. El-yaniv, and G. Yona, On prediction using variable order Markov models, Journal of Artificial Intelligence Research, vol.22, pp.385-421, 2004.

E. Fischer, F. Magniez, and M. De-rougemont, Approximate satisfiability and equivalence, 21th IEEE Symposium on Logic in Computer Science, pp.421-430, 2006.
DOI : 10.1137/070703776
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.7976

P. Auer, N. Cesa-bianchi, and P. Fischer, Finite-time analysis of the multiarmed bandit problem, Machine Learning, vol.47, issue.2/3, pp.235-256, 2002.
DOI : 10.1023/A:1013689704352

M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, Dynamically discovering likely program invariants to support program evolution, IEEE Transactions on Software Engineering, vol.27, issue.2, pp.99-123, 2001.
DOI : 10.1109/32.908957

A. Vardhan, K. Sen, M. Viswanathan, and G. Agha, Actively Learning to Verify Safety for FIFO Automata, In: Foundations of Software Technology and Theoretical Computer Science, pp.494-505, 2004.
DOI : 10.1007/978-3-540-30538-5_41

A. Moser, C. Krügel, and E. Kirda, Exploring Multiple Execution Paths for Malware Analysis, 2007 IEEE Symposium on Security and Privacy (SP '07), pp.231-245, 2007.
DOI : 10.1109/SP.2007.17

C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler, EXE: automatically generating inputs of death, ACM Conference on Computer and Communications Security, pp.322-335, 2006.

P. Godefroid, N. Klarlund, and K. Sen, DART: directed automated random testing, ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.213-223, 2005.

A. Clark, C. C. Florencio, and C. Watkins, Languages as hyperplanes: Grammatical inference with string kernels, Proceedings of the 17th European Conference on Machine Learning, pp.90-101, 2006.

D. A. Cohn, Z. Ghahramani, and M. I. Jordan, Active learning with statistical models, Advances in Neural Information Processing Systems, pp.705-712, 1995.

M. Yannakakis, Testing, optimization, and games, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., pp.28-45, 2004.
DOI : 10.1109/LICS.2004.1319602