Projects

MeMoRIA: “Metamorphic Relation Inference Automation”. Fonds National de la Researche Luxembourg - CORE.

This is an FNR CORE funding project. It is about Software Testing that forms one of the key quality assurance methods. Typically deciding, for a given software system, if its executions correspond to correct/desired software behaviours as opposed to defective/anomalous ones, is currently a largely manual task limiting testing applications. To this end, MeMoRIA will develop effective and efficient techniques for the automated test oracle generation, expressed as metamorphic properties. MeMoRIA will aim to assist engineers during the testing process, specially when metamorphic testing is applied, as well as, for the synthesis of runtime failure recovery methods, and for testing behavioural changes in evolving systems in CI environments.

Duration: 3 years: from 01-09-2023 to 30-08-2026.

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

This is an FNR CORE funding. 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.

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 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-2020 to 31/08/2023

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. 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) project with CEA-LIST and an industrial partner (MERCE). 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.

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) project. 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 project. 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. 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 project. 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-6-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. 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.

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