]. S. Abney, Stochastic attribute-value grammars, Computational Linguistics, vol.23, issue.4, pp.597-618, 1997.

. Auer, Finitetime analysis of the multiarmed bandit problem, Machine Learning, vol.47, issue.2/3, pp.235-256, 2002.
DOI : 10.1023/A:1013689704352

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

. Baskiotis, Exploitation / exploration inference for hybrid statistical software testing, 2006.

. Begleiter, On prediction using variable order markov models, JAIR, vol.22, pp.385-421, 2004.

. Bréhélin, 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

L. Cesa-bianchi, G. Cesa-bianchi, and . Lugosi, Prediction, learning, and games, 2006.
DOI : 10.1017/CBO9780511546921

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

. Ernst, Dynamically discovering likely program invariants to support program evolution, ICSE, pp.213-224, 1999.

. Flajolet, 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

]. Gouraud, Statistical Software Testing based on Structural Combinatorics, 2004.

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

S. Kocsis, C. Kocsis, and . Szepesvári, Bandit Based Monte-Carlo Planning, ECML, pp.282-293, 2006.
DOI : 10.1007/11871842_29

. Rish, Ecml-pkdd workshop automatic computing: a new challenge for machine learning, 2006.

R. , M. Roy, and A. Mccallum, Toward optimal active learning through sampling estimation of error reduction, ICML, pp.441-448, 2001.

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

. Vardhan, Actively Learning to Verify Safety for FIFO Automata, FSTTCS, pp.494-505, 2004.
DOI : 10.1007/978-3-540-30538-5_41

. Zheng, Statistical debugging, Proceedings of the 23rd international conference on Machine learning , ICML '06, pp.1105-1112, 2006.
DOI : 10.1145/1143844.1143983