P. Ammann and J. Offutt, Introduction to Software Testing, 2008.
DOI : 10.1017/CBO9780511809163

F. Baader and T. Nipkow, Term Rewriting and All That, 1998.

E. Balland, P. Brauner, R. Kopetz, P. Moreau, and A. Reilles, Tom: Piggybacking Rewriting on Java, Term Rewriting and Applications, pp.36-47, 2007.
DOI : 10.1007/978-3-540-73449-9_5
URL : https://hal.archives-ouvertes.fr/inria-00142045

P. Borovansk´yborovansk´y, C. Kirchner, H. Kirchner, P. Moreau, and M. Vittek, ELAN, Electronic Notes in Theoretical Computer Science, vol.4, issue.0, pp.35-50, 1996.
DOI : 10.1016/S1571-0661(04)00032-5

A. S. Boujarwah and K. Saleh, Compiler test case generation methods: a survey and assessment, Information and Software Technology, vol.39, issue.9, pp.617-625, 1997.
DOI : 10.1016/S0950-5849(97)00017-7

M. Brand, A. Deursen, J. Heering, H. Jong, M. Jonge et al., The ASF+SDF Meta-Environment: a component-based language development environment, Compiler Construction (CC '01), volume 2027 of Lecture Notes in Computer Science, pp.365-370, 2001.

M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser, Stratego/XT 0.17. A language and toolset for program transformation, Science of Computer Programming, vol.72, issue.1-2, pp.52-70, 2008.
DOI : 10.1016/j.scico.2007.11.003

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., The Maude 2.0 System, Rewriting Techniques and Applications (RTA 2003), number 2706 in Lecture Notes in Computer Science, pp.76-87, 2003.
DOI : 10.1007/3-540-44881-0_7

K. Czarnecki and U. W. Eisenecker, Generative programming -methods, tools and applications, 2000.
DOI : 10.1007/3-540-46020-9_38

B. Daniel, D. Dig, K. Garcia, and D. Marinov, Automated testing of refactoring engines, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.185-194, 2007.
DOI : 10.1145/1287624.1287651

R. A. Demillo, R. J. Lipton, and F. G. Sayward, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978.
DOI : 10.1109/C-M.1978.218136

A. V. Deursen, J. Heering, and P. Klint, Language Prototyping: An Algebraic Specification Approach, 1996.
DOI : 10.1142/3163

J. Härtel, L. Härtel, and R. Lämmel, Test-data generation for xtext, Software Language Engineering, pp.342-351, 2014.

D. Hoffman, D. Ly-gagnon, P. Strooper, and H. Wang, Grammar-based test generation with yougen. Software: Practice and Experience, pp.427-447, 2011.
DOI : 10.1002/spe.1017

P. Hudak, S. P. Jones, and P. Wadler, Report on the Programming Language Haskell, A Non-strict Purely Functional Language (Version 1.2), ACM SIGPLAN Notices, vol.27, issue.5, 1992.

V. Jagannath, Y. Y. Lee, B. Daniel, and D. Marinov, Reducing the Costs of Bounded-Exhaustive Testing, Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, FASE '09, pp.171-185, 2009.
DOI : 10.1007/978-3-642-00593-0_12

G. L. James-gosling and B. Joy, The Java Language Specification, 2005.

P. Klint, T. Van-der, J. Storm, and . Vinju, Rascal: A domain specific language for source code analysis and manipulation. Source Code Analysis and Manipulation, IEEE International Workshop on, vol.0, pp.168-177, 2009.
DOI : 10.1109/scam.2009.28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.1617

P. Klint, T. Van-der, J. Storm, and . Vinju, EASY Meta-programming with Rascal, Generative and Transformational Techniques in Software Engineering III, pp.222-289, 2011.
DOI : 10.1007/978-3-642-18023-1_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.5785

A. S. Kossatchev and M. A. Posypkin, Survey of Compiler Testing Methods, Programming and Computer Software, vol.31, issue.2, pp.10-19, 2005.
DOI : 10.1007/s11086-005-0002-z

R. Lämmel and W. Schulte, Controllable Combinatorial Coverage in Grammar-Based Testing, Testing of Communicating Systems, pp.19-38, 2006.
DOI : 10.1007/11754008_2

D. Landman, A. Serebrenik, and J. Vinju, Empirical analysis of the relationship between CC and SLOC in a large corpus of Javah methods, 30th IEEE International Conference on Software Maintenance and Evolution, 2014.

X. Leroy, A Formally Verified Compiler Back-end, Journal of Automated Reasoning, vol.27, issue.1, pp.363-446, 2009.
DOI : 10.1007/s10817-009-9155-4
URL : https://hal.archives-ouvertes.fr/inria-00360768

R. Lincke, J. Lundberg, and W. Löwe, Comparing software metrics tools, Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA '08, pp.131-142, 2008.
DOI : 10.1145/1390630.1390648
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.6379

T. Mccabe, A complexity measure Software Engineering, IEEE Transactions, issue.24, pp.308-320, 1976.

M. Mongiovi, G. Mendes, R. Gheyi, G. Soares, and M. Ribeiro, Scaling testing of refactoring engines, 30th IEEE International Conference on Software Maintenance and Evolution, pp.371-380, 2014.

A. M. Moreira, C. Hentz, and V. De-menezes-ramalho, Application of a syntaxbased testing method and tool to software product lines, 7th Brazilian Workshop on Systematic and Automated Software Testing, 2013.

M. Odersky, S. Micheloud, N. Mihaylov, M. Schinz, E. Stenman et al., An overview of the scala programming language, 2004.

K. Sen, D. Marinov, and G. Agha, Cute: A concolic unit testing engine for c, Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-13, pp.263-272, 2005.

G. Soares, R. Gheyi, and T. Massoni, Automated Behavioral Testing of Refactoring Engines, IEEE Transactions on Software Engineering, vol.39, issue.2, pp.147-162, 2013.
DOI : 10.1109/TSE.2012.19