B. K. Aichernig, W. Mostowski, M. R. Mousavi, M. Tappler, and M. Taromirad, Model Learning and Model-Based Testing, pp.74-100, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02526358

D. Angluin, Learning regular sets from queries and counterexamples. Information and Computation, vol.75, pp.90052-90058, 1987.

P. Arcaini, A. Gargantini, E. Riccobene, I. Medina-bulo, and M. G. Merayo, Interactive testing and repairing of regular expressions, Testing Software and Systems, pp.1-16, 2018.

P. Arcaini, A. Gargantini, and E. Riccobene, Fault-based test generation for regular expressions by mutation. Software Testing, Verification and Reliability, vol.29, issue.1-2, p.1664, 2019.

A. Arcuri, Evolutionary repair of faulty software, Applied Soft Computing, vol.11, issue.4, pp.3494-3514, 2011.

A. Bartoli, G. Davanzo, A. De-lorenzo, E. Medvet, and E. Sorio, Automatic synthesis of regular expressions from examples, Computer, vol.47, issue.12, pp.72-80, 2014.

A. Bartoli, A. De-lorenzo, E. Medvet, and F. Tarlao, Inference of regular expressions for text extraction from examples, IEEE Trans. on Knowl. and Data Eng, vol.28, issue.5, pp.1217-1230, 2016.

A. Bartoli, A. De-lorenzo, E. Medvet, and F. Tarlao, Active learning of regular expressions for entity extraction, IEEE Transactions on Cybernetics, vol.48, issue.3, pp.1067-1080, 2018.

F. Bergadano and D. Gunetti, Inductive Logic Programming: From Machine Learning to Software Engineering, 1995.

J. Bongard and H. Lipson, Active coevolutionary learning of deterministic finite automata, J. Mach. Learn. Res. p, p.76, 2005.

A. E. Eiben and J. E. Smith, Introduction to Evolutionary Computing, 2003.

C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. Le-traon, Towards automated testing and fixing of re-engineered feature models, Proceedings of the 2013 International Conference on Software Engineering. pp. 1245-1248. ICSE '13, 2013.

,

F. Howar and B. Steffen, Active Automata Learning in Practice, pp.123-148, 2018.

M. Isberner, F. Howar, and B. Steffen, The Open-Source LearnLib, Computer Aided Verification, pp.487-495, 2015.

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, vol.84, issue.8, pp.1090-1123, 1996.

Y. Li, R. Krishnamurthy, S. Raghavan, S. Vaithyanathan, and H. V. Jagadish, Regular expression learning for information extraction, Proceedings of the Conference on Empirical Methods in Natural Language Processing, 2008.

M. López-ibáñez, J. Dubois-lacoste, L. P. Cáceres, M. Birattari, and T. Stützle, The irace package: Iterated racing for automatic algorithm configuration, Operations Research Perspectives, vol.3, pp.43-58, 2016.

M. Martinez and M. Monperrus, Mining software repair models for reasoning on the search space of automated program fixing, Empirical Softw. Engg, vol.20, issue.1, pp.176-205, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00903804

A. Møller, dk.brics.automaton -finite-state automata and regular expressions for, Java, 2010.

M. Papadakis, M. Kintis, J. Zhang, Y. Jia, Y. Le-traon et al., Mutation testing advances: An analysis and survey, Advances in Computers. Advances in Computers, 2018.

Y. Pei, C. A. Furia, M. Nordio, Y. Wei, B. Meyer et al., Automated fixing of programs with contracts, IEEE Transactions on Software Engineering, vol.40, issue.5, pp.427-449, 2014.

J. Petke, S. O. Haraldsson, M. Harman, W. B. Langdon, D. R. White et al., Genetic improvement of software: A comprehensive survey, IEEE Transactions on Evolutionary Computation, vol.22, issue.3, pp.415-432, 2018.

H. Raffelt, B. Steffen, T. Berg, and T. Margaria, LearnLib: A framework for extrapolating behavioral models, Int. J. Softw. Tools Technol. Transf, vol.11, issue.5, pp.393-407, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00459959

. Regexlib, , pp.2019-2024

W. Weimer, S. Forrest, C. Le-goues, and T. Nguyen, Automatic program repair with evolutionary computation, Commun. ACM, vol.53, issue.5, pp.109-116, 2010.

J. L. Wilkerson and D. Tauritz, Coevolutionary automated software correction, Proceedings of the 12th annual conference on Genetic and evolutionary computation -GECCO'10, 2010.