Software diversity: Challenges to handle the imposed, opportunities to harness the chosen, GDR GPL, 2014. ,
Multitier Diversification in Web-Based Software Applications, IEEE Software, vol.32, issue.1, pp.83-90, 2015. ,
DOI : 10.1109/MS.2014.150
Cloud monitoring: A survey, Computer Networks, vol.57, issue.9, pp.2093-2115, 2013. ,
DOI : 10.1016/j.comnet.2013.04.001
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
Finding effective compilation sequences, ACM SIGPLAN Notices, vol.39, issue.7, pp.231-239, 2004. ,
DOI : 10.1145/998300.997196
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
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. ,
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
Improving the development tool chain in the context of petri net-based software development, PNSE, pp.167-178, 2011. ,
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
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
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
Iterative compilation in a non-linear optimisation space, Workshop on Profile and Feedback-Directed Compilation, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00475919
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
The oracle problem in software testing: A survey, IEEE transactions on software engineering, vol.41, issue.5, pp.507-525, 2015. ,
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
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
Verifying and validating automatically generated code, Proc. of International Automotive Conference (IAC) ,
Compiler optimization: A genetic algorithm approach, International Journal of Computer Applications, vol.112, issue.10, p.2015 ,
Black box approach for selecting optimization options using budget-limited genetic algorithms, Workshop Proceedings, p.27, 2007. ,
Building a Family of Compilers, 2008 12th International Software Product Line Conference, pp.307-316, 2008. ,
DOI : 10.1109/SPLC.2008.28
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
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
Metamorphic testing: a new approach for generating next test cases, 1998. ,
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=10.1.1.171.537
Generative Programming, 2000. ,
DOI : 10.1007/3-540-36208-8_2
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=10.1.1.308.5061
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. ,
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. ,
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=10.1.1.188.4481
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
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. ,
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. ,
Automatic Tuning of Inlining Heuristics, ACM/IEEE SC 2005 Conference (SC'05), pp.14-14, 2005. ,
DOI : 10.1109/SC.2005.14
Testing-based translation validation of generated code in the context of iec 61508. Formal Methods in System Design, pp.389-401, 2009. ,
A domain-specific approach to heterogeneous parallelism, ACM SIGPLAN Notices, vol.46, issue.8, pp.35-46, 2011. ,
DOI : 10.1145/2038037.1941561
Optimizing for reduced code space using genetic algorithms, In ACM SIGPLAN Notices, vol.34, pp.1-9, 1999. ,
Adaptive optimizing compilers for the 21st century, The Journal of Supercomputing, vol.23, issue.1, pp.7-22, 2002. ,
Overview of Generative Software Development, Unconventional Programming Paradigms, pp.326-341, 2005. ,
DOI : 10.1007/11527800_25
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
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
HaXe 2 Beginner's Guide, 2011. ,
Multi-objective optimization using evolutionary algorithms, REFERENCES [DF05], 2001. ,
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=10.1.1.101.6221
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
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=10.1.1.324.29
Metamorphic testing for (graphics ) compilers, Proceedings of the 1st International Workshop on Metamorphic Testing, pp.44-47, 2016. ,
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
The emerging field of test amplification: A survey. arXiv preprint, 2017. ,
Pseudo-oracles for non-testable programs, Proceedings of the ACM'81 Conference, pp.254-257, 1981. ,
Evaluation of gcc optimization parameters, Revista Ingenierias USBmed, vol.3, issue.2, pp.31-39 ,
Quickly detecting relevant program invariants, Proceedings of the 22nd international conference on Software engineering, pp.449-458, 2000. ,
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. ,
A source code generator based on uml specification, International journal of computers and communications, issue.1, pp.10-19, 2008. ,
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
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
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
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
Milepost gcc: machine learning based research compiler, GCC Summit, 2008. ,
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=10.1.1.1.4652
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
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. ,
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. ,
Collective tuning initiative: automating and accelerating development and optimization of computing systems, GCC Developers' Summit, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00436029
Heterogeneous systems testing techniques: An exploratory survey, International Conference on Software Quality, pp.67-85, 2015. ,
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. ,
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
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. ,
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
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. ,
Code generation in action, 2003. ,
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=10.1.1.164.4394
A Web Based Framework for Pre-release Testing of Mobile Applications, MATEC Web of Conferences, p.4041, 2016. ,
DOI : 10.1145/1982595.1982612
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
A comprehensive survey of trends in oracles for software testing, 2013. ,
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
Cross-platform mobile development, Mobile Learning Environment, pp.1-18, 2011. ,
The pragmatic programmer: from journeyman to master, 2000. ,
Loop recognition in c++/java/go/scala, Proceedings of Scala Days, 2011. ,
Spap: A programming language for heterogeneous many-core systems, 2010. ,
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
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
Performance potential of optimization phase selection during dynamic jit compilation, ACM SIGPLAN Notices, vol.48, issue.7, pp.131-142, 2013. ,
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
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. ,
Iterative compilation, Embedded processor design challenges, pp.171-187 ,
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. ,
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
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. ,
Exhaustive optimization phase order space exploration, Proceedings of the International Symposium on Code Generation and Optimization, pp.306-318, 2006. ,
Practical exhaustive optimization phase order exploration and evaluation, ACM Transactions on Architecture and Code Optimization (TACO), vol.6, issue.1, p.1, 2009. ,
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=10.1.1.120.551
Compiler validation via equivalence modulo inputs, In ACM SIGPLAN Notices, vol.49, pp.216-226, 2014. ,
Automatic selection of gcc optimization options using a gene weighted genetic algorithm, Computer Systems Architecture Conference 13th Asia-Pacific, pp.1-8, 2008. ,
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
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
Exploiting open-endedness to solve problems through the search for novelty, ALIFE, pp.329-336, 2008. ,
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
Towards a Deployment System for Cloud Applications, Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering ,
DOI : 10.18293/SEKE2015-192
Multi-objective adaptive evolutionary strategy for tuning compilations [mbo] Notice settings, Neurocomputing, vol.123, pp.381-389, 2014. ,
Differential testing for software, Digital Technical Journal, vol.10, issue.1, pp.100-107, 1998. ,
Docker: lightweight linux containers for consistent development and deployment, Linux Journal, issue.2392, p.2014, 2014. ,
An empirical study of the reliability of unix utilities, Communications of the ACM, vol.33, issue.12, pp.32-44, 1990. ,
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
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
Acceleo user guide, MK01] LI Manolache and Derrick G. Kourie. Software testing using model programs . Software: Practice and Experience, pp.311211-1236, 2001. ,
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. ,
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. ,
The Art of Application Performance Testing: Help for Programmers and Quality Assurance, 2009. ,
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
Modelling performance & resource management in kubernetes, Proceedings of the 9th International Conference on Utility and Cloud Computing, pp.257-262, 2016. ,
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. ,
Random testing of c compilers targeting arithmetic optimization, Workshop on Synthesis And System Integration of Mixed Information Technologies, pp.48-53, 2012. ,
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. ,
Auto-vectorization of interleaved data for SIMD, ACM SIGPLAN Notices, vol.41, issue.6, pp.132-143, 2006. ,
DOI : 10.1145/1133255.1133997
Valgrind: a framework for heavyweight dynamic binary instrumentation, ACM Sigplan notices, pp.89-100, 2007. ,
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=10.1.1.352.2996
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
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
Rating compiler optimizations for automatic performance tuning, Proceedings of the 2004 ACM/IEEE conference on Supercomputing, p.14, 2004. ,
Fast and effective orchestration of compiler optimizations for automatic performance tuning, International Symposium on Code Generation and Optimization (CGO'06), p.12, 2006. ,
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. ,
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
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
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
Evaluation of cross-platform tools for mobile development, 2015. ,
Specification-based test oracles for reactive systems, Proceedings of the 14th international conference on Software engineering, pp.105-118, 1992. ,
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
Evolving plastic neural networks with novelty search, Adaptive Behavior, vol.87, issue.9, pp.470-491, 2010. ,
DOI : 10.1109/5.784219
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. ,
Safe & Efficient Gradual Typing for TypeScript, ACM SIGPLAN Notices, vol.50, issue.1, pp.167-180, 2015. ,
DOI : 10.1145/239912.239917
Detecting Anomaly and Failure in Web Applications, IEEE Multimedia, vol.13, issue.2, pp.44-51, 2006. ,
DOI : 10.1109/MMUL.2006.26
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. ,
A framework for specification-based testing, IEEE Transactions on Software Engineering, vol.22, issue.11, pp.777-793, 1996. ,
DOI : 10.1109/32.553698
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
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
Performance comparison of a webrtc server on docker versus virtual machine, 2016 International Conference on Development and Application Systems (DAS), pp.295-298, 2016. ,
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
Model-Based Verification of Embedded Software, Computer, vol.42, issue.4, pp.53-59, 2009. ,
DOI : 10.1109/MC.2009.125
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. ,
Evaluating the haxe programming language-performance comparison between haxe and platform-specific languages, 2015. ,
Container-based operating system virtualization, ACM SIGOPS Operating Systems Review, vol.41, issue.3, pp.275-287, 2007. ,
DOI : 10.1145/1272998.1273025
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
Overview of existing safeguarding techniques for automatically generated code, ACM SIG- SOFT Software Engineering Notes, pp.1-6, 2005. ,
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
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
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
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. ,
Is compiling for performancecompiling for power? In Interaction between Compilers and Computer Architectures, pp.101-115, 2001. ,
Back-to-back testing. Information and software technology, pp.34-45, 1990. ,
An approach to ordering optimizing transformations, ACM SIGPLAN Notices, vol.25, issue.3, pp.137-146, 1990. ,
DOI : 10.1145/99164.99179
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. ,
Finding and understanding bugs in C compilers, ACM SIGPLAN Notices, vol.46, issue.6, pp.283-294, 2011. ,
DOI : 10.1145/1993316.1993532
Metamorphic testing and its applications, Proceedings of the 8th International Symposium on Future Software Technology, pp.346-351, 2004. ,
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
Automatic test generation for model-based code generators, ISoLA, pp.75-81, 2006. ,