T. Betz, L. Cabac, and M. Güttler, Improving the development tool chain in the context of petri net-based software development, PNSE, pp.167-178, 2011.

K. Czarnecki and U. W. Eisenecker, Generative programming, p.15, 2000.

R. France and B. Rumpe, Model-driven development of complex software: a research roadmap, pp.37-54, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00511368

V. Guana and E. Stroulia, How do developers solve software-engineering tasks on model-based code generators? An empirical study design, First International Workshop on Human Factors in Modeling (HUFAMO 2015). CEUR-WS: Ottawa, pp.33-38, 2015.

N. Delgado, A. Q. Gates, and S. Roach, A taxonomy and catalog of runtime software-fault monitoring tools, IEEE Transactions on Software Engineering, vol.30, issue.12, pp.859-872, 2004.

V. Guana and E. Stroulia, Chaintracker, a model-transformation trace analysis tool for code-generation environments, 7th International Conference on Model Transformation (ICMT14), pp.146-153, 2014.

I. Stuermer, M. Conrad, H. Doerr, and P. Pepper, Systematic testing of model-based code generators, IEEE Transactions on Software Engineering, vol.33, issue.9, p.622, 2007.

X. Yang, Y. Chen, E. Eide, and J. Regehr, Finding and understanding bugs in c compilers, ACM SIGPLAN Notices, vol.46, pp.283-294, 2011.

W. M. Mckeeman, Differential testing for software, Digital Technical Journal, vol.10, issue.1, pp.100-107, 1998.

M. A. Vouk, Back-to-back testing, Information and software technology, vol.32, issue.1, pp.34-45, 1990.

M. Boussaa and . Al,

M. Boussaa, O. Barais, B. Baudry, and G. Sunyé, Automatic non-functional testing of code generators families, Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, pp.202-212, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01356849

M. Boussaa, Automatic non-functional testing and tuning of configurable generators, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01598821

W. Chae and M. Blume, Software Product Line Conference, IEEE, pp.307-316, 2008.

J. J. Fumero, T. Remmelg, M. Steuwer, and C. Dubach, Runtime code generation and data management for heterogeneous computing in java, Proceedings of the principles and practices of programming on the java platform, pp.16-26, 2015.

B. Dasnois, Haxe 2 Beginner's Guide, 2011.

F. Fleurey, B. Morin, A. Solberg, and O. Barais, Mde to manage communications with and between resource-constrained systems, International conference on model driven engineering languages and systems, pp.349-363, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00647141

A. Rastogi, N. Swamy, C. Fournet, G. Bierman, and P. Vekris, Safe & efficient gradual typing for typescript, ACM SIGPLAN Notices, vol.50, pp.167-180, 2015.

E. T. Barr, M. Harman, P. Mcminn, M. Shahbaz, and S. Yoo, The oracle problem in software testing: a survey, IEEE Transactions on Software Engineering, vol.41, issue.5, pp.507-525, 2015.

J. Richard-foy, O. Barais, and J. Jézéquel, Efficient high-level abstractions for web programming, ACM SIGPLAN Notices, vol.49, pp.53-60, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00920786

S. Stepasyuk and Y. Paunov, Evaluating the haxe programming language-performance comparison between haxe and platform-specific languages, 2015.

N. Nethercote, J. Seward, and . Valgrind, A framework for heavyweight dynamic binary instrumentation, ACM SIGPLAN Notices, vol.42, pp.89-100, 2007.

S. Soltesz, H. Pötzl, M. E. Fiuczynski, A. Bavier, and L. Peterson, Container-based operating system virtualization: a scalable, high-performance alternative to hypervisors, ACM SIGOPS Operating Systems Review, vol.41, pp.275-287, 2007.

C. C. Spoiala, A. Calinciuc, C. O. Turcu, and C. Filote, Performance comparison of a webrtc server on docker versus virtual machine, International Conference on Development and Application Systems, pp.295-298, 2016.

D. Merkel, Docker: lightweight linux containers for consistent development and deployment, Linux Journal, vol.2014, issue.239, p.2, 2014.

R. Peinl, F. Holzschuher, and F. Pfitzer, Docker cluster management for the cloud-survey results and own solution, Journal of Grid Computing, vol.14, issue.2, pp.265-282, 2016.

M. Harman, P. Mcminn, M. Shahbaz, and S. Yoo, A comprehensive survey of trends in oracles for software testing, 2013.

T. Y. Chen, S. C. Cheung, and S. M. Yiu, Metamorphic testing: a new approach for generating next test cases, 1998.

Z. Q. Zhou, D. Huang, T. Tse, Z. Yang, H. Huang et al., Metamorphic testing and its applications, Proceedings of the 8th International Symposium on Future Software Technology (ISFST, pp.346-351, 2004.

A. F. Donaldson and A. Lascu, Metamorphic testing for (graphics) compilers, Proceedings of the 1st international workshop on metamorphic testing, pp.44-47, 2016.

V. Le, M. Afshari, and Z. Su, Compiler validation via equivalence modulo inputs, ACM SIGPLAN Notices, vol.49, pp.216-226, 2014.

Q. Tao, W. Wu, C. Zhao, and W. Shen, An automatic testing approach for compiler based on metamorphic testing technique

, Asia Pacific Software Engineering Conference (APSEC), pp.270-279, 2010.

W. Chan, T. Y. Chen, H. Lu, T. Tse, and S. S. Yau, Integration testing of context-sensitive middleware-based applications: a metamorphic approach, International Journal of Software Engineering and Knowledge Engineering, vol.16, issue.5, pp.677-703, 2006.

H. Malik, H. Hemmati, and A. E. Hassan, Automatic detection of performance deviations in the load testing of large scale systems, Proceedings of the 2013 International Conference on Software Engineering, pp.1012-1021, 2013.

D. P. Enot, W. Lin, M. Beckmann, D. Parker, D. P. Overy et al., Preprocessing, classification modeling and feature selection using flow injection electrospray mass spectrometry metabolite fingerprint data, Nature Protocols, vol.3, issue.3, pp.446-470, 2008.

M. Hubert, P. Rousseeuw, and T. Verdonck, Robust PCA for skewed data and its outlier map, Computational Statistics & Data Analysis, vol.53, issue.6, pp.2264-2274, 2009.

A. Burnard and L. Rover, Verifying and validating automatically generated code, Proc. of International Automotive Conference (IAC), pp.71-78, 2004.

M. Conrad, Testing-based translation validation of generated code in the context of IEC 61508, Formal Methods in System Design, vol.35, issue.3, pp.389-401, 2009.

. Leveraging-metamorphic-testing, . To, and . Inconsistencies, GENERATORS, vol.25, p.26

T. E. Conrad, T. Maier-komor, G. Sandmann, and M. Pomeroy, Code generation verification-assessing numerical equivalence between simulink models and generated code, 4th Conference Simulation and Testing in Algorithm and Software Development for Automobile Electronics, 2010.

S. Jörges and B. Steffen, Back-to-back testing of model-based code generators, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp.425-444, 2014.

I. Sturmer and M. Conrad, Test suite design for code generation tools, 18th IEEE International Conference on Automated Software Engineering, pp.286-290, 2003.

S. V. Zelenov, D. V. Silakov, A. K. Petrenko, M. Conrad, and F. I. , Automatic test generation for model-based code generators, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp.75-81, 2006.

D. ?trekelj, H. Leventi?, and I. Gali?, Performance overhead of haxe programming language for cross-platform game development, International Journal of Electrical and Computer Engineering Systems, vol.6, issue.1, pp.9-13, 2015.

N. Ajwad, Evaluation of automatic code generation tools. MSc Theses, Department of Automatic Control, 2007.

A. Pazirandeh and E. Vorobyeva, Evaluation of cross-platform tools for mobile development, 2015.

G. Hartmann, G. Stead, and A. Degani, Cross-platform mobile development. Mobile Learning Environment, vol.16, pp.158-171, 2011.

T. Y. Chen, D. Huang, T. Tse, and Z. Q. Zhou, Case studies on the selection of useful relations in metamorphic testing, Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering, pp.569-583, 2004.

S. Segura, G. Fraser, A. B. Sanchez, and A. Ruiz-cortés, A survey on metamorphic testing, IEEE Transactions on software engineering, vol.42, issue.9, pp.805-824, 2016.

S. Segura, J. Troya, A. Durán, and A. Ruiz-cortés, Performance metamorphic testing: motivation and challenges, Proceedings of the 39th International Conference on Software Engineering: New Ideas and Emerging Results Track, pp.7-10, 2017.

S. Segura, J. Troya, A. Durán, and A. Ruiz-cortés, Performance metamorphic testing: a proof of concept, Information and Software Technology, vol.98, pp.1-4, 2018.

L. Li, T. Tang, and W. Chou, A rest service framework for fine-grained resource management in container-based cloud, IEEE 8th international conference on cloud computing, pp.645-652, 2015.

P. Marinescu, P. Hosek, and C. Cadar, Covrig: A framework for the analysis of code, test, and coverage evolution in real software, Proceedings of the 2014 international symposium on software testing and analysis, pp.93-104, 2014.

V. Ferme, A. Ivanchikj, and C. Pautasso, A framework for benchmarking bpmn 2.0 workflow management systems, pp.251-259, 2015.

A. Hamdy, O. Ibrahim, and A. Hazem, A web based framework for pre-release testing of mobile applications, MATEC Web of Conferences, vol.76, p.4041, 2016.

P. Kookarinrat and Y. Temtanapat, Analysis of range-based key properties for sharded cluster of mongodb, 2nd International Conference on Information Science and Security (ICISS), pp.1-4, 2015.

Y. Sun, J. White, S. Eade, and D. C. Schmidt, Roar: a qos-oriented modeling framework for automated cloud resource allocation and optimization, Journal of Systems and Software, vol.116, pp.146-161, 2016.

V. Medel, O. Rana, U. Arronategui, and J. Á. Bañares, Modelling performance & resource management in kubernetes, Proceedings of the 9th International Conference on Utility and Cloud Computing, pp.257-262, 2016.