Model Learning and Model-Based Testing, pp.74-100, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02526358
Learning regular sets from queries and counterexamples. Information and Computation, vol.75, pp.90052-90058, 1987. ,
Interactive testing and repairing of regular expressions, Testing Software and Systems, pp.1-16, 2018. ,
Fault-based test generation for regular expressions by mutation. Software Testing, Verification and Reliability, vol.29, issue.1-2, p.1664, 2019. ,
Evolutionary repair of faulty software, Applied Soft Computing, vol.11, issue.4, pp.3494-3514, 2011. ,
Automatic synthesis of regular expressions from examples, Computer, vol.47, issue.12, pp.72-80, 2014. ,
Inference of regular expressions for text extraction from examples, IEEE Trans. on Knowl. and Data Eng, vol.28, issue.5, pp.1217-1230, 2016. ,
Active learning of regular expressions for entity extraction, IEEE Transactions on Cybernetics, vol.48, issue.3, pp.1067-1080, 2018. ,
Inductive Logic Programming: From Machine Learning to Software Engineering, 1995. ,
Active coevolutionary learning of deterministic finite automata, J. Mach. Learn. Res. p, p.76, 2005. ,
Introduction to Evolutionary Computing, 2003. ,
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. ,
,
Active Automata Learning in Practice, pp.123-148, 2018. ,
The Open-Source LearnLib, Computer Aided Verification, pp.487-495, 2015. ,
Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, vol.84, issue.8, pp.1090-1123, 1996. ,
Regular expression learning for information extraction, Proceedings of the Conference on Empirical Methods in Natural Language Processing, 2008. ,
The irace package: Iterated racing for automatic algorithm configuration, Operations Research Perspectives, vol.3, pp.43-58, 2016. ,
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
dk.brics.automaton -finite-state automata and regular expressions for, Java, 2010. ,
Mutation testing advances: An analysis and survey, Advances in Computers. Advances in Computers, 2018. ,
Automated fixing of programs with contracts, IEEE Transactions on Software Engineering, vol.40, issue.5, pp.427-449, 2014. ,
Genetic improvement of software: A comprehensive survey, IEEE Transactions on Evolutionary Computation, vol.22, issue.3, pp.415-432, 2018. ,
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
, , pp.2019-2024
Automatic program repair with evolutionary computation, Commun. ACM, vol.53, issue.5, pp.109-116, 2010. ,
Coevolutionary automated software correction, Proceedings of the 12th annual conference on Genetic and evolutionary computation -GECCO'10, 2010. ,