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

S. Baluja and S. Davies, Fast probabilistic modeling for combinatorial optimization, AAAI/IAAI, pp.469-476, 1998.

N. Baskiotis, M. Sebag, M. Gaudel, and S. Gouraud, Exploitation / exploration inference for hybrid statistical software testing, 2006.

R. Begleiter, R. El-yaniv, and G. Yona, On prediction using variable order markov models, JAIR, vol.22, pp.385-421, 2004.

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. Cesa-bianchi and G. Lugosi, Prediction, learning, and games, 2006.
DOI : 10.1017/CBO9780511546921

A. Clark, C. C. Florencio, and C. Watkins, Languages as hyperplanes: Grammatical inference with string kernels, ECML, to appear, 2006.
DOI : 10.1007/11871842_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.5000

S. Dasgupta, Coarse sample complexity bounds for active learning, NIPS, pp.235-242, 2005.

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

M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, Dynamically discovering likely program invariants to support program evolution, ICSE, pp.213-224, 1999.

P. Flajolet, P. Zimmermann, and B. Van-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

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation, 1979.

L. Kocsis and C. Szepesvári, Bandit Based Monte-Carlo Planning, ECML, pp.282-293, 2006.
DOI : 10.1007/11871842_29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.1296

F. Torre, Boosting correct least general generalizations, 2004.

A. Vardhan, K. Sen, M. Viswanathan, and G. Agha, Actively Learning to Verify Safety for FIFO Automata, FSTTCS, pp.494-505, 2004.
DOI : 10.1007/978-3-540-30538-5_41

G. Xiao, F. Southey, R. C. Holte, and D. F. Wilkinson, Software testing by active learning for commercial games, AAAI, pp.898-903, 2005.

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

A. X. Zheng, M. I. Jordan, B. Liblit, M. N. , 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