Improving the development tool chain in the context of petri net-based software development, PNSE, pp.167-178, 2011. ,
Generative programming, p.15, 2000. ,
Model-driven development of complex software: a research roadmap, pp.37-54, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00511368
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. ,
A taxonomy and catalog of runtime software-fault monitoring tools, IEEE Transactions on Software Engineering, vol.30, issue.12, pp.859-872, 2004. ,
Chaintracker, a model-transformation trace analysis tool for code-generation environments, 7th International Conference on Model Transformation (ICMT14), pp.146-153, 2014. ,
Systematic testing of model-based code generators, IEEE Transactions on Software Engineering, vol.33, issue.9, p.622, 2007. ,
Finding and understanding bugs in c compilers, ACM SIGPLAN Notices, vol.46, pp.283-294, 2011. ,
Differential testing for software, Digital Technical Journal, vol.10, issue.1, pp.100-107, 1998. ,
Back-to-back testing, Information and software technology, vol.32, issue.1, pp.34-45, 1990. ,
,
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
Automatic non-functional testing and tuning of configurable generators, 2017. ,
URL : https://hal.archives-ouvertes.fr/tel-01598821
Software Product Line Conference, IEEE, pp.307-316, 2008. ,
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. ,
Haxe 2 Beginner's Guide, 2011. ,
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
Safe & efficient gradual typing for typescript, ACM SIGPLAN Notices, vol.50, pp.167-180, 2015. ,
The oracle problem in software testing: a survey, IEEE Transactions on Software Engineering, vol.41, issue.5, pp.507-525, 2015. ,
Efficient high-level abstractions for web programming, ACM SIGPLAN Notices, vol.49, pp.53-60, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00920786
Evaluating the haxe programming language-performance comparison between haxe and platform-specific languages, 2015. ,
A framework for heavyweight dynamic binary instrumentation, ACM SIGPLAN Notices, vol.42, pp.89-100, 2007. ,
Container-based operating system virtualization: a scalable, high-performance alternative to hypervisors, ACM SIGOPS Operating Systems Review, vol.41, pp.275-287, 2007. ,
Performance comparison of a webrtc server on docker versus virtual machine, International Conference on Development and Application Systems, pp.295-298, 2016. ,
Docker: lightweight linux containers for consistent development and deployment, Linux Journal, vol.2014, issue.239, p.2, 2014. ,
Docker cluster management for the cloud-survey results and own solution, Journal of Grid Computing, vol.14, issue.2, pp.265-282, 2016. ,
A comprehensive survey of trends in oracles for software testing, 2013. ,
Metamorphic testing: a new approach for generating next test cases, 1998. ,
Metamorphic testing and its applications, Proceedings of the 8th International Symposium on Future Software Technology (ISFST, pp.346-351, 2004. ,
Metamorphic testing for (graphics) compilers, Proceedings of the 1st international workshop on metamorphic testing, pp.44-47, 2016. ,
Compiler validation via equivalence modulo inputs, ACM SIGPLAN Notices, vol.49, pp.216-226, 2014. ,
An automatic testing approach for compiler based on metamorphic testing technique ,
, Asia Pacific Software Engineering Conference (APSEC), pp.270-279, 2010.
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. ,
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. ,
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. ,
Robust PCA for skewed data and its outlier map, Computational Statistics & Data Analysis, vol.53, issue.6, pp.2264-2274, 2009. ,
Verifying and validating automatically generated code, Proc. of International Automotive Conference (IAC), pp.71-78, 2004. ,
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. ,
, GENERATORS, vol.25, p.26
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. ,
Back-to-back testing of model-based code generators, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp.425-444, 2014. ,
Test suite design for code generation tools, 18th IEEE International Conference on Automated Software Engineering, pp.286-290, 2003. ,
Automatic test generation for model-based code generators, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp.75-81, 2006. ,
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. ,
Evaluation of automatic code generation tools. MSc Theses, Department of Automatic Control, 2007. ,
Evaluation of cross-platform tools for mobile development, 2015. ,
Cross-platform mobile development. Mobile Learning Environment, vol.16, pp.158-171, 2011. ,
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. ,
A survey on metamorphic testing, IEEE Transactions on software engineering, vol.42, issue.9, pp.805-824, 2016. ,
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. ,
Performance metamorphic testing: a proof of concept, Information and Software Technology, vol.98, pp.1-4, 2018. ,
A rest service framework for fine-grained resource management in container-based cloud, IEEE 8th international conference on cloud computing, pp.645-652, 2015. ,
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. ,
A framework for benchmarking bpmn 2.0 workflow management systems, pp.251-259, 2015. ,
A web based framework for pre-release testing of mobile applications, MATEC Web of Conferences, vol.76, p.4041, 2016. ,
Analysis of range-based key properties for sharded cluster of mongodb, 2nd International Conference on Information Science and Security (ICISS), pp.1-4, 2015. ,
Roar: a qos-oriented modeling framework for automated cloud resource allocation and optimization, Journal of Systems and Software, vol.116, pp.146-161, 2016. ,
Modelling performance & resource management in kubernetes, Proceedings of the 9th International Conference on Utility and Cloud Computing, pp.257-262, 2016. ,