Projects

TestFlakes: “Copying with Test Flakiness”. Fonds National de la Researche Luxembourg - CORE.

This is an FNR CORE funding, supporting two PhD students and a PostDoc. The project is about developing techniques and tools capable of maximising the testing value in the presence of test false alarms in the context of continuous integration. In particular, the project will identify the problems caused by the test suite non-determinism and will built techniques capable of copying with this issue (operate and provide decision making under uncertainty). In summary, the goal of the project is: a) to investigate the impact of non-determinism on testing (what is impacted and how) b) develop techniques to detect and diagnose non-deterministic failures (determine the certainty/uncertainty of the provided signal) c) leverage these findings by developing flaky-tolerant techniques (provide reasoning in the presence of noisy uncertain signal). All in all, the TestFlakes project aims at providing ways for mitigating the effects of flaky tests when performing Continuous Integration software development process.

Duration: 3 years: from 01-06-2021 to 30-05-2024.

RESCOM - ICSME: “Organizing ICSME in Luxembourg”. Fonds National de la Researche Luxembourg - RESCOM.

This is an FNR RESCOM project to support the 37th IEEE International Conference on Software Maintenance and Evolution organization (ICSME’21) in Luxembourg.

RASoRS: “Risk Analysis of Software Requirements Specification”. Fonds National de la Researche Luxembourg - CORE.

This is an FNR CORE funding, supporting a PhD student and a PostDoc. The project was written together with Renzo Degiovanni and we both significantly contribute to its implementation. The project is about developing techniques and tools for the identification, assessment and resolution of goal conflicts in requirements specification. In particular the project deals with requirements organised around specific goals and has the following objectives: (a) Automatic identification of goal conflicts in requirements specification (b) Defining assessment metrics for goal conflicts (c) Develop techniques and tools for resolving the goal conflicts All in all, the RASoRS project aims at providing ways for identifying, measuring and improving the quality of goal oriented software requirements. These are the most important ingredients for building reliable and robust software systems.

Duration: 3 years: from 01-07-2020 to 30-06-2023.

SATOCROSS: “Support of Advanced Test cOverage Criteria for RObust and Secure Software”. Fonds National de la Researche Luxembourg - INTER (ANR. French bilateral project).

This is an FNR INTER (bilateral) funding, supporting a PostDoc (UL), 2 researchers (CEA-LIST) and an industrial partner (MERCE). I am the principal investigator (UL), Nikolai Kosmatov (CEA-LIST) and David Mentre (MERCE). The project was written together with Nikolai and we both significantly contribute to its implementation. The project is about designing generic and efficient testing techniques and tools. The target is the test input generation, detection of polluting test objectives and test assessment with focus on industrial practice.

Duration: 3 years: from 1-1-2019 to 31-12-2022.

PAYPAL: “Assessing and Improving the PayPal DevOps practice”.

This is industrial competitive funding, part of the SnT partnership program, with PayPal (PayPal CA) company. The project supports 2 PhDs and a PostDoc. I am the leading researcher of the project, supervising the PostDoctoral researcher and significantly contribute to the project implementation. The project is about efficient and effective testing of the PayPal DevOps practice. In particular the project deals with the application and support of mutation testing within the development practice of the company.

Duration: 3 years: from 01-01-2019 to 31/08/2022

UITFlaky: “Detecting (flaky) test failures of system user interactive tests”. Research grant in the form of unrestricted gift from - Facebook.

This is a Facebook research grant that supports our work related to the detection of system user interactive flaky test failures.

CODEMATES: “COntinuous DEvelopment with Mutation Analysis and TESting”. Fonds National de la Researche Luxembourg - CORE.

This is an FNR CORE (Junior) funding, supporting a PhD student and a PostDoc. This is a starting grant where I am the principal investigator (contributing for more than 50% of my time on it). The project is about designing generic and efficient mutation testing techniques for the continuous integration pipeline. The target is the creation of automatic techniques that are capable of detecting few and relevant test requirements for every committed code change.

Duration: 3 years: from 1-9-2018 to 31-8-2021.

LAIWYERS: “Law and AI: WaYs to Explore Robust Solutions”. University funded project.

This is internal university funding, supporting a PostDoc position, for which Yves Le Traon was the principal investigator. I was the leading investigator on this research, wrote the proposal and mentor the post-doc that implemented it. The project is about testing AI systems wrt fairness, discrimination and their implications in reforming the applicable law.

Duration: 3 years: from 1-7-2020 to 30-6-2023.

STELLAR: “teSTing sELf-LeARning systems”. Fonds National de la Researche Luxembourg - CORE.

This is an FNR CORE funding, supporting 2 PhD and a PostDoc positions. Professor Yves Le Traon is the principal investigator, and I am the leading researcher. The project was written by me together with Dr. Maxime Cordy (who leads two workpackages). The project is about developing testing techniques for self-learning software systems. In particular the objectives are: (1) measuring the adequacy of existing test cases with criteria that indicate how well the test cases cover the learning model; (2) defining model transformations (mutations) to modify the models, and estimating their sensitivity; (3) designing differential testing methods to discover disagreements between models, thereby obtaining new test cases that reveal errors in the models.

Duration: 3 years: from 1-9-2019 to 31-8-2021.

TESTFAST: “Software TESTing in FAST, clear and effective way”. Fonds National de la Researche Luxembourg - BRIDGES.

This is an FNR BRIDGES funding, supporting a PhD and a PostDoc positions. Professor Yves Le Traon is the principal investigator, and I am the leading researcher. The project was written by Dr. Marinos Kintis and me in collaboration with BGL. The project is about the use of mocking in testing. It aims at evaluating innovating testing solution on industrial settings of our private partner, BGL BNP Paribas group. More precisely, the project aims at addressing two key challenges that are related to modern development practices: (1) how to create effective tests and (2) how to reduce the execution cost of tests, creating a more efficient continuous integration pipeline without affecting its test effectiveness.

Duration: 3 years: from 1-1-2019 to 31-3-2023.

BGL-RobustML: “Measuring Machine Learning Robustness” Industrial funding, with BGL (SnT partner).

This is industrial competitive funding, part of the SnT partnership program, with BGL (BNP Paribas group) company, for which Yves Le Traon was the principal investigator. The project supports a PhD position. I am the leading researcher of the project, supervising the PhD researcher and significantly contribute to the project implementation. The project is about measuring the robustness of machine learning models. In particular the project deals with the ability of the models used by BGL to respond well on critical unseen data.

Duration: 3 years: from 1-2-2019 to 31-1-2022.

AutoGEM: “Automatic generation and maintenance of functional tests in an agile environment”. Fonds National de la Researche Luxembourg - AFR.

This is a PhD project (funds only a PhD student) with Renaud Rwemalika (the PhD candidate) being the Principal Investigator. I am supervising Renaud and helped with the formulation and writing of the proposal. The project is about automating test generation and test maintenance of functional test suites.

Duration: 4 years: 15-10-2017 to 14-10-2021.

MBTD: “Mutation-Based Testing and Debugging in Microsoft Azure”. Microsoft Azure Research Award Application.

This is a Microsoft award to support my mutation testing research. The project aims at developing techniques to perform mutation analysis in a cloud infrastructure such the Microsoft Azure platform.

Duration: 1 year: from 1-9-2015 to 31-8-2016.

TDHCS: “Testing and Debugging Highly Configurable Systems”. Fonds National de la Researche Luxembourg - Inter Mobility.

This is a mobility project to support my visit to the Software Systems Engineering group (SSE) at the University College of London (UCL), UK. I am the PI of this project and the local host (in UCL) is Professor Mark Harman. The project has the aim to forge a tight connection between the SSE and the SerVal (Luxembourgish group) research groups, by conducing research on mutation testing and the test of highly configurable systems.

Duration: 2 years: from 1-6-2014 to 30-11-2015.

BGL-DevOps: “Software Testing in a DEVOPS environment” Industrial funding, with BGL (SnT partner).

This is industrial competitive funding, part of the SnT partnership program, with BGL (BNP Paribas group) company, for which Yves Le Traon was the principal investigator. The project supports a PostDoc position. I am the leading researcher of the project, supervising the Post-Doctoral researcher and significantly contribute to the project implementation. The project is about test maintenance (automatically maintaining) of functional test suites. In particular the project deals with the maintenance of Keyword-Driven Test suites that are used by BGL.

Duration: 3 years: from 1-9-2017 to 31-8-2020.

TASTRA: “Tailoring Automated Software Techniques for Real World and Large-Scale Software Applications”. Fonds National de la Researche Luxembourg - AFR.

This is a PhD project (funds only a PhD student) with Thierry Titcheu Chekam (the PhD candidate) being the Principal Investigator. I am supervising Thierry and helped with the formulation and writing of the proposal. The project is about mutation testing and in particular mutation-driven test generation.

Duration: 4 years: 15-01-2016 to 31-10-2019.

ADDOPF: “Automatic Detection and Diagnosis of Program Faults”. University funded project.

This is internal university funding, supporting my PostDoc employment, for which Yves Le Traon was the principal investigator. I was the only researcher working on the project, wrote the proposal and implemented it. The project is about research on mutation testing, studying the relation between mutants and faults.

Duration: 3 years: from 1-5-2014 to 30-4-2017.

CETREL: “Testing Electronic Payment Systems”. Industrial funding, with Cetrel (SnT partner).

This is industrial competitive funding, part of the SnT partnership program, with Cetrel (SIX group) company, for which Yves Le Traon was the principal investigator. The project supported a PhD (Christopher Henard) and my PostDoc employment. I was the leading researcher of the project, supervised the PhD candidate and had significant contributions on the project implementation. The project is about test selection for the card authorization transactions of the Cetrel company.

Duration: 3 years: from end of 2011 to end of 2014.