M. Brambilla, J. Cabot, and M. Wimmer, Model-Driven Software Engineering in Practice, Synthesis Lectures on Software Engineering, vol.1, issue.1, pp.1-182, 2012.
DOI : 10.2200/S00441ED1V01Y201208SWE001
URL : https://hal.archives-ouvertes.fr/hal-00755006

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

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.
DOI : 10.1109/TSE.2004.91

M. Demertzi, M. Annavaram, and M. Hall, Analyzing the effects of compiler optimizations on application reliability, 2011 IEEE International Symposium on Workload Characterization (IISWC), pp.184-193, 2011.
DOI : 10.1109/IISWC.2011.6114178

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.
DOI : 10.1007/978-3-540-79996-2_10
URL : https://hal.archives-ouvertes.fr/hal-00647141

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), pp.37-54, 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

V. Guana and E. Stroulia, ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments, ICMT, pp.146-153, 2014.
DOI : 10.1007/978-3-319-08789-4_11

V. Guana and E. Stroulia, How do developers solve softwareengineering tasks on model-based code generators? an empirical study design, First International Workshop on Human Factors in Modeling, pp.33-38, 2015.

G. Hartmann, G. Stead, and A. Degani, Cross-platform mobile development, Mobile Learning Environment, pp.1-18, 2011.

R. Hundt, Loop recognition in c++/java/go/scala, Proceedings of Scala Days, 2011.

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.
DOI : 10.1007/978-3-662-45234-9_30

L. Li, T. Tang, and W. Chou, A rest service framework for finegrained resource management in container-based cloud, 2015 IEEE 8th International Conference on Cloud Computing, pp.645-652, 2015.

R. Luo, W. Ye, and S. Zhang, Towards a Deployment System for Cloud Applications, Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering
DOI : 10.18293/SEKE2015-192

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

N. Nethercote and J. Seward, Valgrind: a framework for heavyweight dynamic binary instrumentation, ACM Sigplan notices, pp.89-100, 2007.

Z. Pan and R. Eigenmann, Fast and effective orchestration of compiler optimizations for automatic performance tuning, International Symposium on Code Generation and Optimization (CGO'06), p.12, 2006.

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

A. Rastogi, N. Swamy, C. Fournet, G. Bierman, and P. Vekris, Safe & Efficient Gradual Typing for TypeScript, ACM SIGPLAN Notices, vol.50, issue.1, pp.167-180, 2015.
DOI : 10.1145/2775051.2676971

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

S. Soltesz, H. Pötzl, M. E. Fiuczynski, A. Bavier, and L. Peterson, Container-based operating system virtualization, ACM SIGOPS Operating Systems Review, vol.41, issue.3, pp.275-287, 2007.
DOI : 10.1145/1272998.1273025

C. C. Spoiala, A. Calinciuc, C. O. Turcu, and C. Filote, Performance comparison of a WebRTC server on Docker versus virtual machine, 2016 International Conference on Development and Application Systems (DAS), pp.295-298, 2016.
DOI : 10.1109/DAAS.2016.7492590

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

D. Strekelj, H. Leventi´cleventi´c, and I. Gali´cgali´c, 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.

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.
DOI : 10.1109/TSE.2007.70708

I. Stürmer, D. Weinberg, and M. Conrad, Overview of existing safeguarding techniques for automatically generated code, ACM SIGSOFT Software Engineering Notes, vol.30, issue.4, pp.1-6, 2005.
DOI : 10.1145/1082983.1083192

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.
DOI : 10.1016/j.jss.2015.08.006

X. Yang, Y. Chen, E. Eide, and J. Regehr, Finding and understanding bugs in C compilers, ACM SIGPLAN Notices, vol.46, issue.6, pp.283-294, 2011.
DOI : 10.1145/1993316.1993532