O. Mathieu-acher, B. Barais, A. Baudry, J. Blouin, B. Bourcier et al., Software diversity: Challenges to handle the imposed, opportunities to harness the chosen, GDR GPL, 2014.

O. Simon-allier, B. Barais, J. Baudry, E. Bourcier, F. Daubert et al., Multitier Diversification in Web-Based Software Applications, IEEE Software, vol.32, issue.1, pp.83-90, 2015.
DOI : 10.1109/MS.2014.150

G. Aceto, A. Botta, W. D. Donato, and A. Pescapè, Cloud monitoring: A survey, Computer Networks, vol.57, issue.9, pp.2093-2115, 2013.
DOI : 10.1016/j.comnet.2013.04.001

[. Ali, C. Lionel, H. Briand, R. Hemmati, and . Kaur-panesar-walawege, A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation, IEEE Transactions on Software Engineering, vol.36, issue.6, pp.742-762, 2010.
DOI : 10.1109/TSE.2009.52

K. D. Almagor, A. Cooper, . Grosul, J. Timothy, . Harvey et al., Finding effective compilation sequences, ACM SIGPLAN Notices, vol.39, issue.7, pp.231-239, 2004.
DOI : 10.1145/998300.997196

[. Amanquah and O. Eporwei, Rapid application development for mobile terminals, 2009 2nd International Conference on Adaptive Science & Technology (ICAST), pp.410-417, 2009.
DOI : 10.1109/ICASTECH.2009.5409691

A. Bekrar, C. Bekrar, R. Groz, and L. Mounier, Evaluation of automatic code generation tools MSc Theses Finding software vulnerabilities by smart fuzzing, REFERENCES [ Software Testing, Verification and Validation (ICST), 2011 IEEE Fourth International Conference on, pp.427-430, 2007.

[. Boussaa, O. Barais, G. Sunyé, and B. Baudry, A Novelty Search Approach for Automatic Test Data Generation, 2015 IEEE/ACM 8th International Workshop on Search-Based Software Testing, p.4, 2015.
DOI : 10.1109/SBST.2015.17

URL : https://hal.archives-ouvertes.fr/hal-01121228

[. 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.

[. 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

[. Basir, E. Denney, and B. Fischer, Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information, International Conference on Computer Safety, Reliability, and Security, pp.249-262, 2008.
DOI : 10.1007/978-3-540-87698-4_22

[. Banzhaf, D. Frank, P. Francone, and . Nordin, The effect of extensive use of the mutation operator on generalization in genetic programming using sparse data sets, Parallel Problem Solving from NaturePPSN IV, pp.300-309, 1996.
DOI : 10.1007/3-540-61723-X_994

T. Bodin, P. Kisuki, M. O. Knijnenburg, E. Boyle, and . Rohou, Iterative compilation in a non-linear optimisation space, Workshop on Profile and Feedback-Directed Compilation, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00475919

A. Bragança and R. J. Machado, Transformation Patterns for Multi-staged Model Driven Software Development, 2008 12th International Software Product Line Conference, pp.329-338, 2008.
DOI : 10.1109/SPLC.2008.41

T. Earl, . Barr, P. Mark, M. Mcminn, S. Shahbaz et al., The oracle problem in software testing: A survey, IEEE transactions on software engineering, vol.41, issue.5, pp.507-525, 2015.

[. Baudry and M. Monperrus, The Multiple Facets of Software Diversity, ACM Computing Surveys, vol.48, issue.1, p.16, 2015.
DOI : 10.1109/ICSE.2004.1317446

URL : https://hal.archives-ouvertes.fr/hal-01182103

[. Bajovs, O. Nikiforova, and J. Sejans, Code Generation from UML Model: State of the Art and Practical Implications, Applied Computer Systems, vol.14, issue.1, pp.9-18, 2013.
DOI : 10.2478/acss-2013-0002

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

A. Prathibha, . Ballal, P. Sarojadevi, and . Harsha, Compiler optimization: A genetic algorithm approach, International Journal of Computer Applications, vol.112, issue.10, p.2015

G. Bashkansky and Y. Yaari, Black box approach for selecting optimization options using budget-limited genetic algorithms, Workshop Proceedings, p.27, 2007.

W. Chae and M. Blume, Building a Family of Compilers, 2008 12th International Software Product Line Conference, pp.307-316, 2008.
DOI : 10.1109/SPLC.2008.28

[. Cao, M. Stephen, T. Blackburn, K. S. Gao, and . Mckinley, The yin and yang of power and performance for asymmetric hardware and managed software, ACM SIGARCH Computer Architecture News, vol.40, issue.3, pp.225-236, 2012.
DOI : 10.1145/2366231.2337185

. Chan, H. Tsong-yueh-chen, . Lu, . Tse, S. Stephen et al., INTEGRATION TESTING OF CONTEXT-SENSITIVE MIDDLEWARE-BASED APPLICATIONS: A METAMORPHIC APPROACH, International Journal of Software Engineering and Knowledge Engineering, vol.45, issue.05, pp.677-703, 2006.
DOI : 10.1145/267580.267590

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

H. Chafi, Z. Devito, A. Moors, T. Rompf, A. K. Sujeeth et al., Language virtualization for heterogeneous parallel computing, ACM SIGPLAN Notices, vol.45, issue.10, pp.835-847, 2000.
DOI : 10.1145/1932682.1869527

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

[. Czarnecki and U. W. Eisenecker, Generative Programming, 2000.
DOI : 10.1007/3-540-36208-8_2

Y. Chen, S. Fang, Y. Huang, L. Eeckhout, G. Fursin et al., Deconstructing iterative optimization, ACM Transactions on Architecture and Code Optimization, vol.9, issue.3, p.21, 2012.
DOI : 10.1145/2355585.2355594

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Keith, A. Cooper, . Grosul, J. Timothy, S. Harvey et al., Exploring the structure of the space of compilation sequences using randomized search algorithms, The Journal of Supercomputing, vol.36, issue.2, pp.135-151, 2006.

[. Czarnecki and S. Helsen, Classification of model transformation approaches, Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, pp.1-17, 2003.

Y. Chen, Y. Huang, L. Eeckhout, G. Fursin, L. Peng et al., Evaluating iterative optimization across 1000 datasets, ACM SIGPLAN Notices, vol.45, issue.6, pp.448-459, 2010.
DOI : 10.1145/1809028.1806647

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Chen, W. Hu, D. Hao, Y. Xiong, H. Zhang et al., An empirical comparison of compiler testing techniques, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, 2016.
DOI : 10.1109/QSIC.2003.1319081

. Tsong-yueh-chen, T. Huang, Z. Tse, and . 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.

[. 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.

J. Cavazos, F. Michael, and . Boyle, Automatic Tuning of Inlining Heuristics, ACM/IEEE SC 2005 Conference (SC'05), pp.14-14, 2005.
DOI : 10.1109/SC.2005.14

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

A. K. Hassan-chafi, . Sujeeth, J. Kevin, H. Brown, . Lee et al., A domain-specific approach to heterogeneous parallelism, ACM SIGPLAN Notices, vol.46, issue.8, pp.35-46, 2011.
DOI : 10.1145/2038037.1941561

D. Keith, . Cooper, J. Philip, D. Schielke, and . Subramanian, Optimizing for reduced code space using genetic algorithms, In ACM SIGPLAN Notices, vol.34, pp.1-9, 1999.

D. Keith, D. Cooper, L. Subramanian, and . Torczon, Adaptive optimizing compilers for the 21st century, The Journal of Supercomputing, vol.23, issue.1, pp.7-22, 2002.

[. Czarnecki, Overview of Generative Software Development, Unconventional Programming Paradigms, pp.326-341, 2005.
DOI : 10.1007/11527800_25

[. Doukas and F. Antonelli, COMPOSE: Building smart & context-aware mobile applications utilizing IoT technologies, Global Information Infrastructure Symposium, GIIS 2013, pp.1-6, 2013.
DOI : 10.1109/GIIS.2013.6684373

[. 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

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

[. Deb, Multi-objective optimization using evolutionary algorithms, REFERENCES [DF05], 2001.

E. Denney and B. Fischer, Certifiable Program Generation, International Conference on Generative Programming and Component Engineering, pp.17-28, 2005.
DOI : 10.1007/11561347_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

[. Delgado, Q. Ann, S. Gates, and . 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

C. Dubach, M. Timothy, . Jones, V. Edwin, G. Bonilla et al., Portable compiler optimisation across embedded programs and microarchitectures using machine learning, Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture, Micro-42, pp.78-88, 2009.
DOI : 10.1145/1669112.1669124

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

F. Alastair, A. Donaldson, and . Lascu, Metamorphic testing for (graphics ) compilers, Proceedings of the 1st International Workshop on Metamorphic Testing, pp.44-47, 2016.

[. Deb, A. Pratap, S. Agarwal, and T. Meyarivan, A fast and elitist multiobjective genetic algorithm: NSGA-II, IEEE Transactions on Evolutionary Computation, vol.6, issue.2, pp.182-197, 2002.
DOI : 10.1109/4235.996017

O. Benjamin-danglot, Z. Vera-perez, M. Yu, B. Monperrus, and . Baudry, The emerging field of test amplification: A survey. arXiv preprint, 2017.

D. Martin, E. J. Davis, and . Weyuker, Pseudo-oracles for non-testable programs, Proceedings of the ACM'81 Conference, pp.254-257, 1981.

D. Rodrigo, . Escobar, R. Alekya, M. Angula, and . Corsi, Evaluation of gcc optimization parameters, Revista Ingenierias USBmed, vol.3, issue.2, pp.31-39

D. Michael, A. Ernst, . Czeisler, G. William, D. Griswold et al., Quickly detecting relevant program invariants, Proceedings of the 22nd international conference on Software engineering, pp.449-458, 2000.

P. David, W. Enot, M. Lin, D. Beckmann, . Parker 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.

[. Fertalj and M. Brcic, A source code generator based on uml specification, International journal of computers and communications, issue.1, pp.10-19, 2008.

[. Felter, A. Ferreira, R. Rajamony, and J. Rubio, An updated performance comparison of virtual machines and Linux containers, 2015 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pp.171-172, 2015.
DOI : 10.1109/ISPASS.2015.7095802

[. Ferme, A. Ivanchikj, and C. Pautasso, A Framework for Benchmarking BPMN 2.0 Workflow Management Systems, International Conference on Business Process Management, pp.251-259, 2015.
DOI : 10.1007/978-3-319-23063-4_18

Y. Grigori-fursin, A. W. Kashnikov, Z. Memon, O. Chamski, M. Temam et al., Milepost GCC: Machine Learning Enabled Self-tuning Compiler, International Journal of Parallel Programming, vol.16, issue.2???3, pp.296-327, 2011.
DOI : 10.1088/1742-6596/16/1/071

[. 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.1145/1988008.1988031

URL : https://hal.archives-ouvertes.fr/hal-00647141

C. Grigori-fursin, O. Miranda, M. Temam, E. Namolaru, A. Yom-tov et al., Milepost gcc: machine learning based research compiler, GCC Summit, 2008.

[. Fursin, F. Michael, . Oboyle, M. Peter, and . Knijnenburg, Evaluating Iterative Compilation, International Workshop on Languages and Compilers for Parallel Computing, pp.362-376, 2002.
DOI : 10.1007/11596110_24

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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

J. Fumero, T. Remmelg, M. Steuwer, and C. Dubach, Runtime code generation and data management for heteroge- REFERENCES neous computing in java, Proceedings of the Principles and Practices of Programming on The Java Platform, pp.16-26, 2015.

I. Fey and I. Stürmer, Code generation for safety-critical systems? open questions and possible solutions SAE international journal of passenger cars-electronic and electrical systems, pp.150-155, 2008.

G. Fursin, Collective tuning initiative: automating and accelerating development and optimization of computing systems, GCC Developers' Summit, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00436029

K. Ahmad-nauman-ghazi, J. Petersen, and . Börstler, Heterogeneous systems testing techniques: An exploratory survey, International Conference on Software Quality, pp.67-85, 2015.

C. Gathercole and P. Ross, An adverse interaction between crossover and restricted tree depth in genetic programming, Proceedings of the 1st annual conference on genetic programming, pp.291-296, 1996.

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.

K. Hoste and L. Eeckhout, Cole, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization , CGO '08, pp.165-174, 2008.
DOI : 10.1145/1356058.1356080

[. He, Computer architecture education in multicore era: Is the time to change, Computer Science and Information Technology (ICCSIT), 2010 3rd IEEE International Conference on, pp.724-728, 2010.

[. Herrington, Code generation in action, 2003.

[. Hoste, A. Georges, and L. Eeckhout, Automated justin-time compiler tuning, Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization, pp.62-72, 2010.
DOI : 10.1145/1772954.1772965

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Hamdy, O. Ibrahim, and A. Hazem, A Web Based Framework for Pre-release Testing of Mobile Applications, MATEC Web of Conferences, p.4041, 2016.
DOI : 10.1145/1982595.1982612

[. Haneda, M. Peter, . Knijnenburg, A. Harry, and . Wijshoff, Automatic selection of compiler options using non-parametric inferential statistics, 14th International Conference on Parallel Architectures and Compilation Techniques (PACT'05), pp.123-132, 2005.
DOI : 10.1109/PACT.2005.9

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

[. 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.
DOI : 10.1016/j.csda.2008.05.027

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

A. Hunt and D. Thomas, The pragmatic programmer: from journeyman to master, 2000.

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

[. Hou, K. Zhou, and B. Guo, Spap: A programming language for heterogeneous many-core systems, 2010.

Y. Benjamin-inden, R. Jin, H. Haschke, B. S. Ritter, M. Rupp et al., An examination of different fitness and novelty based selection methods for the evolution of neural networks, Circuits and Systems and TAISA Conference, pp.753-767, 2009.
DOI : 10.1109/5.784219

[. Jouault and I. Kurtev, Transforming Models with ATL, International Conference on Model Driven Engineering Languages and Systems, pp.128-138, 2005.
DOI : 10.1007/11663430_14

URL : https://hal.archives-ouvertes.fr/hal-00448120

R. Michael, . Jantz, A. Prasad, and . Kulkarni, Performance potential of optimization phase selection during dynamic jit compilation, ACM SIGPLAN Notices, vol.48, issue.7, pp.131-142, 2013.

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

T. Kapteijns, S. Jansen, S. Brinkkemper, H. Houët, and R. Barendse, A comparative case study of model driven development vs traditional development: The tortoise or the hare. From code centric to model centric software engineering: Practices, Implications and ROI, 2009.

M. Peter, T. Knijnenburg, . Kisuki, F. Michael, and . Oboyle, Iterative compilation, Embedded processor design challenges, pp.171-187

P. Nathan, . Kropp, J. Philip, . Koopman, P. Daniel et al., Automated robustness testing of off-the-shelf software components, Fault-Tolerant Computing Digest of Papers. Twenty-Eighth Annual International Symposium on, pp.230-239, 1998.

P. Kr?ah, Solving Deceptive Tasks in Robot Body-Brain Co-evolution by Searching for Behavioral Novelty, Advances in Robotics and Virtual Reality, pp.167-186, 2012.
DOI : 10.1007/978-3-642-23363-0_7

[. Kookarinrat and Y. Temtanapat, Analysis of range-based key properties for sharded cluster of mongodb Compiler optimizations for low power systems, Information Science and Security (ICISS) 2nd International Conference on Power aware computing, pp.1-4, 2002.

A. Prasad, . Kulkarni, B. David, . Whalley, S. Gary et al., Exhaustive optimization phase order space exploration, Proceedings of the International Symposium on Code Generation and Optimization, pp.306-318, 2006.

A. Prasad, . Kulkarni, B. David, . Whalley, S. Gary et al., Practical exhaustive optimization phase order exploration and evaluation, ACM Transactions on Architecture and Code Optimization (TACO), vol.6, issue.1, p.1, 2009.

P. Kulkarni, W. Zhao, H. Moon, K. Cho, D. Whalley et al., Finding effective optimization phase sequences, ACM SIGPLAN Notices, vol.38, issue.7, pp.12-23, 2003.
DOI : 10.1145/780731.780735

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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

[. Lin, C. Chang, and S. Lin, Automatic selection of gcc optimization options using a gene weighted genetic algorithm, Computer Systems Architecture Conference 13th Asia-Pacific, pp.1-8, 2008.

X. Leroy, Formal verification of a realistic compiler, Communications of the ACM, vol.52, issue.7, pp.107-115, 2009.
DOI : 10.1145/1538788.1538814

URL : https://hal.archives-ouvertes.fr/inria-00415861

S. Lokuciejewski, H. Plazar, P. Falk, L. Marwedel, and . Thiele, Multi-objective Exploration of Compiler Optimizations for Real-Time Systems, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.115-122, 2010.
DOI : 10.1109/ISORC.2010.15

J. Lehman, O. Kenneth, and . Stanley, Exploiting open-endedness to solve problems through the search for novelty, ALIFE, pp.329-336, 2008.

L. Li, T. Tang, and W. Chou, A REST Service Framework for Fine-Grained Resource Management in Container-Based Cloud, 2015 IEEE 8th International Conference on Cloud Computing, pp.645-652, 2015.
DOI : 10.1109/CLOUD.2015.91

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

A. Ortiz and A. Jimeno-morenilla, Multi-objective adaptive evolutionary strategy for tuning compilations [mbo] Notice settings, Neurocomputing, vol.123, pp.381-389, 2014.

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

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

P. Barton, L. Miller, B. Fredriksen, and . So, An empirical study of the reliability of unix utilities, Communications of the ACM, vol.33, issue.12, pp.32-44, 1990.

[. 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, ISSTA 2014, pp.93-104, 2014.
DOI : 10.1145/2610384.2610419

[. Malik, H. Hemmati, E. Ahmed, and . Hassan, Automatic detection of performance deviations in the load testing of Large Scale Systems, 2013 35th International Conference on Software Engineering (ICSE), pp.1012-1021, 2013.
DOI : 10.1109/ICSE.2013.6606651

J. Musset, E. Juliot, S. Lacrampe, W. Piers, C. Brun et al., Acceleo user guide, MK01] LI Manolache and Derrick G. Kourie. Software testing using model programs . Software: Practice and Experience, pp.311211-1236, 2001.

M. Luiz, G. Martins, R. Nobre, M. João, . Cardoso et al., Clustering-based selection for the exploration of compiler optimization sequences, ACM Transactions on Architecture and Code Optimization (TACO), vol.13, issue.1, p.8, 2016.

G. Luiz, R. Martins, . Nobre, C. Alexandre, E. Delbem et al., Exploration of compiler optimization sequences using clustering-based selection, Proceedings of the 2014 SIG- PLAN/SIGBED conference on Languages, compilers and tools for embedded systems, pp.63-72, 2014.

I. Molyneaux, The Art of Application Performance Testing: Help for Programmers and Quality Assurance, 2009.

[. Mariani, S. Papagiannakis, and M. Pezze, Compatibility and Regression Testing of COTS-Component-Based Software, 29th International Conference on Software Engineering (ICSE'07), pp.85-95, 2007.
DOI : 10.1109/ICSE.2007.26

O. Víctor-medel, U. Rana, and . Arronategui, Modelling performance & resource management in kubernetes, Proceedings of the 9th International Conference on Utility and Cloud Computing, pp.257-262, 2016.

N. Naik, Migrating from virtualization to dockerization in the cloud: Simulation and evaluation of distributed systems. In Maintenance and Evolution of Service-Oriented and Cloud-Based Environments (MESOCA), 2016 IEEE 10th International Symposium on the, pp.1-8, 2016.

[. Nagai, H. Awazu, N. Ishiura, and N. Takeda, Random testing of c compilers targeting arithmetic optimization, Workshop on Synthesis And System Integration of Mixed Information Technologies, pp.48-53, 2012.

M. Nagiub and W. Farag, Automatic selection of compiler options using genetic techniques for embedded software design Scaling up size and number of expressions in random testing of arithmetic optimization of c compilers, Computational Intelligence and Informatics (CINTI), 2013 IEEE 14th International Symposium on REFERENCES [NHI13] Eriko Nagai Workshop on Synthesis And System Integration of Mixed Information Technologies, pp.69-74, 2013.

[. Nuzman, I. Rosen, and A. Zaks, Auto-vectorization of interleaved data for SIMD, ACM SIGPLAN Notices, vol.41, issue.6, pp.132-143, 2006.
DOI : 10.1145/1133255.1133997

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

[. Pekhimenko and A. D. Brown, Efficient Program Compilation Through Machine Learning Techniques, Software Automatic Tuning, pp.335-351, 2011.
DOI : 10.1007/978-1-4419-6935-4_19

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Pais, L. Sp-barros, and . Gomes, A Tool for Tailored Code Generation from Petri Net Models, 2005 IEEE Conference on Emerging Technologies and Factory Automation, p.8, 2005.
DOI : 10.1109/ETFA.2005.1612615

M. Patrick, P. Andrew, . Craig, J. Nik, M. Cunniffe et al., Testing stochastic software using pseudo-oracles, Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, pp.235-246, 2016.
DOI : 10.1109/ICSTW.2010.26

[. Pan and R. Eigenmann, Rating compiler optimizations for automatic performance tuning, Proceedings of the 2004 ACM/IEEE conference on Supercomputing, p.14, 2004.

[. 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.

[. Papaux, D. Gachet, and W. Luithardt, Processor virtualization on embedded linux systems Identifying compiler options to minimize energy consumption for embedded platforms, Education and Research Conference (EDERC), pp.65-69, 2014.

[. Peinl, F. Holzschuher, and F. Pfitzer, Docker Cluster Management for the Cloud - Survey Results and Own Solution, Journal of Grid Computing, vol.1, issue.2, pp.265-282, 2016.
DOI : 10.5220/0005476005350542

[. Park, S. Kulkarni, and J. Cavazos, An evaluation of different modeling techniques for iterative compilation, Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems, CASES '11, pp.65-74, 2011.
DOI : 10.1145/2038698.2038711

D. Plotnikov, M. Melnik, R. Vardanyan, R. Buchatskiy, J. Zhuykov et al., Automatic Tuning of Compiler Optimizations and Analysis of their Impact, Procedia Computer Science, vol.18, pp.1312-1321, 2013.
DOI : 10.1016/j.procs.2013.05.298

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

J. Debra, S. L. Richardson, T. Aha, O. Owen, and . Malley, Specification-based test oracles for reactive systems, Proceedings of the 14th international conference on Software engineering, pp.105-118, 1992.

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

. Sebastian-risi, E. Charles, . Hughes, O. Kenneth, and . Stanley, Evolving plastic neural networks with novelty search, Adaptive Behavior, vol.87, issue.9, pp.470-491, 2010.
DOI : 10.1109/5.784219

[. Ray, D. Posnett, V. Filkov, and P. Devanbu, A large scale study of programming languages and code quality in github, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.155-165, 2014.

A. Rastogi and N. Swamy, Safe & Efficient Gradual Typing for TypeScript, ACM SIGPLAN Notices, vol.50, issue.1, pp.167-180, 2015.
DOI : 10.1145/239912.239917

[. Ricca and P. Tonella, Detecting Anomaly and Failure in Web Applications, IEEE Multimedia, vol.13, issue.2, pp.44-51, 2006.
DOI : 10.1109/MMUL.2006.26

A. Salam, S. , and H. Ammar, Pareto-optimal search-based software engineering (posbse): A literature survey, Realizing Artificial Intelligence Synergies in Software Engineering (RAISE), 2013 2nd International Workshop on, pp.21-27, 2013.

D. Stocks and . Carrington, A framework for specification-based testing, IEEE Transactions on Software Engineering, vol.22, issue.11, pp.777-793, 1996.
DOI : 10.1109/32.553698

[. Sturmer and M. Conrad, Test suite design for code generation tools, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.286-290, 2003.
DOI : 10.1109/ASE.2003.1240322

[. 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

A. Sctf16-]-cristian-constantin-spoiala, C. Calinciuc, C. Octavian-turcu, and . 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.

E. Schulte, J. Dorn, S. Harding, S. Forrest, and W. Weimer, Post-compiler software optimization for reducing energy, Proceedings of the 19th international conference on Architectural support for programming languages and operating systems, ASPLOS '14, pp.639-652, 2014.
DOI : 10.1145/2541940.2541980

[. Shokry and M. Hinchey, Model-Based Verification of Embedded Software, Computer, vol.42, issue.4, pp.53-59, 2009.
DOI : 10.1109/MC.2009.125

H. Domagoj?trekeljdomagoj?domagoj?trekelj, I. Leventi´cleventi´c, and . Gali´cgali´c, Performance overhead of haxe programming language for cross-platform game development Genetic programming applied to compiler heuristic optimization, European Conference on Genetic Programming, pp.9-13, 2015.

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

H. Spf-+-07-]-stephen-soltesz, . Pötzl, E. Marc, A. Fiuczynski, L. Bavier et al., Container-based operating system virtualization, ACM SIGOPS Operating Systems Review, vol.41, issue.3, pp.275-287, 2007.
DOI : 10.1145/1272998.1273025

I. Schaefer, R. Rabiser, D. Clarke, L. Bettini, D. Benavides et al., Software diversity: state of the art and perspectives, International Journal on Software Tools for Technology Transfer, vol.343, issue.3, pp.477-495, 2012.
DOI : 10.1016/j.tcs.2005.06.020

URL : https://hal.archives-ouvertes.fr/hal-00723754

[. Stürmer, D. Weinberg, and M. Conrad, Overview of existing safeguarding techniques for automatically generated code, ACM SIG- SOFT Software Engineering Notes, pp.1-6, 2005.

[. Sun, J. White, S. Eade, C. Douglas, and . 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

[. Sandran, M. Nordin, and B. Zakaria, A Genetic Algorithm approach towards compiler flag selection based on compilation and execution duration, 2012 International Conference on Computer & Information Science (ICCIS), pp.270-274, 2012.
DOI : 10.1109/ICCISci.2012.6297252

M. Tartara and S. C. Reghizzi, Parallel iterative compilation, Proceedings of third international workshop on MapReduce and its Applications Date, MapReduce '12, pp.33-40, 2012.
DOI : 10.1145/2287016.2287023

[. Triantafyllis, M. Vachharajani, N. Vachharajani, D. Wu, C. Zhao et al., Compiler optimization-space exploration An automatic testing approach for compiler based on metamorphic testing technique, Code Gen- REFERENCES eration and Optimization, 2003. CGO 2003. International Symposium on Software Engineering Conference (APSEC) 17th Asia Pacific, pp.204-215, 2003.

M. Valluri, K. Lizy, and . John, Is compiling for performancecompiling for power? In Interaction between Compilers and Computer Architectures, pp.101-115, 2001.

. Vou90, A. Mladen, and . Vouk, Back-to-back testing. Information and software technology, pp.34-45, 1990.

D. Whitfield and M. L. Soffa, An approach to ordering optimizing transformations, ACM SIGPLAN Notices, vol.25, issue.3, pp.137-146, 1990.
DOI : 10.1145/99164.99179

G. Miguel, I. Xavier, . Oliveira, D. Fabio, . Rossi et al., A performance isolation analysis of disk-intensive workloads on container-based clouds, Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on, pp.253-260, 2015.

[. 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

D. Zhi-quan-zhou, . Huang, Z. Th-tse, H. Yang, T. Huang et al., Metamorphic testing and its applications, Proceedings of the 8th International Symposium on Future Software Technology, pp.346-351, 2004.

[. Zhong, Y. Shen, and F. Hao, Tuning Compiler Optimization Options via Simulated Annealing, 2009 Second International Conference on Future Information Technology and Management Engineering, pp.305-308, 2009.
DOI : 10.1109/FITME.2009.81

V. Sergey, . Zelenov, V. Denis, . Silakov, K. Alexander et al., Automatic test generation for model-based code generators, ISoLA, pp.75-81, 2006.