{"id":364,"date":"2023-06-21T05:51:41","date_gmt":"2023-06-21T05:51:41","guid":{"rendered":"https:\/\/website.prod.unilu.spikeseed.cloud\/snt-en\/?post_type=research-groups&#038;p=364"},"modified":"2025-06-24T10:01:03","modified_gmt":"2025-06-24T08:01:03","slug":"research","status":"publish","type":"research-groups","link":"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/","title":{"rendered":"Research"},"content":{"rendered":"<div class=\"section py-0 static\">\n<section class=\"py-0 wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><!-- SecondaryNavigationMirror --><div class=\"js-secondary-nav--sticky wp-block-unilux-blocks-secondary-navigation\" id=\"bfbeaf36-7eb4-4ed9-aa52-fe001de91d9c\">\n    <nav id=\"secondary-navigation\" role=\"navigation\" aria-label=\"Secondary menu\" class=\"secondary-nav\">\n        <button class=\"secondary-nav__button btn btn-solid--primary w-full\" aria-expanded=\"false\" aria-controls=\"secondary-navigation__list\" title=\"The selected page is Research\" type=\"button\">\n            <span class=\"btn__name mr-auto\">Research<\/span>\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n                <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\" \/>\n            <\/svg>\n        <\/button>\n\n        <ul id=\"secondary-navigation__list\" class=\"secondary-nav__list\">\n            <li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Overview<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link isactived\" aria-current=\"page\">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Research<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/publications\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Publications<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/partners\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Partners<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/people\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">People<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/join-us\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Join Us<\/span>\n    <\/a>\n<\/li>\n        <\/ul>\n    <\/nav>\n<\/div>\n<!-- end SecondaryNavigationMirror --><\/div><\/section>\n\n\n<section class=\"section section pb-0 wp-block-unilux-blocks-page-intro \">\n    \n<div class=\"wp-block-unilux-blocks-wrapper container xl:max-w-screen-xl\">\n<div class=\"wp-block-unilux-blocks-wrapper flex flex-wrap -mx-16\">\n<div class=\"wp-block-unilux-blocks-wrapper flex-1 mb-48 px-16\">\n<h1 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"secure-compliant-and-safe-software-systems\"\n    >\nSecure, Compliant and Safe Software Systems<\/h1>\n\n\n\n<p>Ensuring the security, safety, and reliability of software systems is crucial to our lives. SVV conducts research in automated testing, as well as requirement engineering, design-time and runtime verification, security analysis and testing, and regulatory compliance to create reliable, scalable solutions to real-world challenges. Current fields of application include space, FinTech, legal, automotive, and e-government.<\/p>\n\n\n\n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/contact\/\"\n                target=\"_self\"\n        class=\"btn btn--primary\"\n            >Contact Us<\/a>\n<\/li>\n\n\n<li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/en\/news-overview\/?fq_news-taxonomies-organisation%5B%5D=software-verification-and-validation-research-group-svv%7CSoftware+Verification+and+Validation+Research+Group+%28SVV%29%7COrganisation\"\n                target=\"_self\"\n        class=\"btn btn--secondary\"\n            >Our Latest News<\/a>\n<\/li>\n<\/ul>\n<\/div>\n\n\n\n<div class=\"wp-block-unilux-blocks-wrapper w-full md:w-auto px-16\">\n<div class=\"wp-block-unilux-blocks-wrapper flex flex-col items-center\">\n<h2 class=\"text-h4 has-text-align-left wp-block-unilux-blocks-heading\"        id=\"an-intelligentdigital-assistantfor-financial-itdevelopment\"\n    >\nAn Intelligent<br>Digital Assistant<br>for Financial IT<br>Development<\/h2>\n\n\n<a class=\"wp-block-unilux-blocks-button-highlight-square\"\n    href=\"https:\/\/snt-highlights.uni.lu\/2022\/02\/28\/an-intelligent-digital-assistant-for-financial-it-development\/\"\n    target=\"_blank\"\n>\n    <span class=\"btn-highlight-square__container\">\n        <div class=\"btn-highlight-square__body\">\n    <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--external-link icon--xl\"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--external-link\"><\/use><\/svg>    <span class=\"btn btn--dark\">\n        \n<span class=\"btn__name wp-block-unilux-blocks-plain-text\">Read the Article<\/span>    <\/span>\n<\/div><figure class=\"wp-block-dev4-reusable-blocks-image image-bg object-fit--cover\">\n    \n<img decoding=\"async\" class=\"wp-block-image unilux-custom-image-block\"\n                alt=\"\"\n            src=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Qualisist-SnT-SVV-Project-Requirement-Engineering.png\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Qualisist-SnT-SVV-Project-Requirement-Engineering-300x225.png 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Qualisist-SnT-SVV-Project-Requirement-Engineering-768x576.png 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Qualisist-SnT-SVV-Project-Requirement-Engineering.png 1024w\"\n                style=\"object-position: 18.00% 55.00%; font-family: &quot;object-fit: cover; object-position: 18.00% 55.00%;&quot;; aspect-ratio: 3\/4; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>    <\/span>\n<\/a><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/section>\n\n<section class=\"section  wp-block-unilux-blocks-content-card-full-width py-0\">\n    <div class=\"container 2xl:max-w-screen-2xl\">\n        <div class=\"max-w-11\/12\">\n            <div class=\"content-card content-card--right content-card__overlay--hidden wp-block-unilux-blocks-content-card\">\n    \n<h2 class=\"content-card__heading has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers-and-partners\"\n    >\nResearchers and Partners<\/h2>\n<div class=\"content-card__visual wp-block-unilux-blocks-content-card-visual-area\">\n    \n<section class=\"wp-block-unilux-blocks-image-video-wrapper\">\n    <figure class=\"wp-block-dev4-reusable-blocks-image  object-fit--cover\">\n    \n<img decoding=\"async\" class=\"wp-block-image unilux-custom-image-block\"\n                alt=\"\"\n            src=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/SVV-Researchers-and-Partners-Qualisist-DRONA.png\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/SVV-Researchers-and-Partners-Qualisist-DRONA-300x225.png 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/SVV-Researchers-and-Partners-Qualisist-DRONA-768x576.png 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/SVV-Researchers-and-Partners-Qualisist-DRONA.png 1024w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 3\/2; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure><\/section>\n<div class=\"wp-block-unilux-blocks-wrapper content-card__overlay\">\n<a class=\"wp-block-unilux-blocks-button-highlight-rounded bottom-left\" \n    href=\"#\"\n    target=\"_self\"\n>\n    \n<span class=\"btn-highlight-rounded__name wp-block-unilux-blocks-plain-text\"><\/span>    <span class=\"icon-rounded\">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right icon--lg\"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>    <\/span>\n<\/a><\/div>\n<\/div><div class=\"content-card__body  wp-block-unilux-blocks-content-card-free-area\">\n    \n<div class=\"wp-block-columns is-layout-flex wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p>The group focuses on context-driven research in collaboration with industrial and public sector partners to solve real-world software engineering challenges. Talented researchers interested in building scalable, effective solutions that will revolutionise the way practitioners work will find a stimulating environment and a multi-award-winning team to assist them. SVV\u2019s research activities are financially supported by the FNR, EU programs, and industry partnerships.<\/p>\n\n\n\n<p>Companies and public entities interested in undertaking medium to long-term collaborations to achieve real impact in their software development will find unique expertise within the group.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p>Our areas of expertise are:<\/p>\n\n\n\n<p>&#8211; Requirements Quality Assurance<br>&#8211; Regulatory Compliance<br>&#8211; Design-time analysis<br>&#8211; Functional Safety of Artificial Intelligence<br>&#8211; Automated software testing and analysis<br>&#8211; Run-time monitoring and analysis<br>&#8211; Cybersecurity<\/p>\n\n\n\n<p>Many of the tools developed as part of our research are available on <a href=\"https:\/\/github.com\/orgs\/SNTSVV\/repositories\" target=\"_blank\" rel=\"noreferrer noopener\">our GitHub organization page<\/a><\/p>\n<\/div>\n<\/div>\n<\/div><\/div>        <\/div>\n    <\/div>\n<\/section>\n\n\n<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\">\n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"research-projects\"\n    >\nResearch projects<\/h2>\n\n\n<ul class=\"flex flex-wrap mt-24 -mx-16  wp-block-unilux-blocks-free-content-card\">\n    <li class=\"w-full sm:w-1\/2 lg:w-1\/3 px-16  wp-block-unilux-blocks-free-content-card-item\">\n    <div class=\"ulux-card card-project-related bg-theme\">\n        <div class=\"ulux-card__container card__container\">\n                        <div class=\"ulux-card__body wp-block-unilux-blocks-free-content-card-item-body\">\n    \n<span class=\"ulux-card__related wp-block-unilux-blocks-plain-text\">DRONA<\/span>\n<h3 class=\"ulux-card__title has-text-align-left wp-block-unilux-blocks-heading\"        id=\"commercialisation-of-an-application-for-requirements-engineering\"\n    >\nCommercialisation of an application for requirements engineering<\/h3>\n<div class=\"ulux-card__link-wrapper card__link wp-block-unilux-blocks-simple-cta\">\n    <a\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-projects\/drona\/\"\n        title=\"Learn more\"\n        class=\"link-text link-text--icon ulux-card__link link-text link-absolute\"\n        target=\"\"\n    >\n        <span class=\"link-text__body\">\n            <span class=\"link-text__name\">Learn more<\/span>\n        <\/span>\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>    <\/a>\n<\/div>\n<\/div>        <\/div>\n    <\/div>\n<\/li><\/ul>\n\n\n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list justify-center\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/research-en\/research-projects-overview\/?fq_research-projects-taxonomies-organisation%5B%5D=software-verification-and-validation-research-group-svv%7CSoftware+Verification+and+Validation+Research+Group+%28SVV%29%7COrganisation\"\n                target=\"_self\"\n        class=\"btn btn--primary\"\n            >All projects<\/a>\n<\/li>\n<\/ul>\n<\/div><\/section>\n\n\n\n<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\">\n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"our-recent-projects\"\n    >\nOur Recent Projects<\/h2>\n\n\n\n<div class=\"wp-block-unilux-blocks-accordion accordion accordion--theme accordion-standard\" data-reference=\"014498d1-ec46-468a-a713-f62f25dfe65e\" data-accordion-type=\"standard\"><div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-1ac923a7-0b40-4ab5-8c15-dd8bcde04234\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-1ac923a7-0b40-4ab5-8c15-dd8bcde04234\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-1ac923a7-0b40-4ab5-8c15-dd8bcde04234\"\n        >\n            <span class=\"accordion__title\">\n                                Artificial Intelligence Automation for GDPR Compliance (ARTAGO)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-1ac923a7-0b40-4ab5-8c15-dd8bcde04234\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-1ac923a7-0b40-4ab5-8c15-dd8bcde04234\"\n        data-bs-parent=\"[data-reference=&quot;014498d1-ec46-468a-a713-f62f25dfe65e&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--course\"><li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>2020-2022<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>SnT partnership program + FNR BRIDGES<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Lionel Briand (PI), Sallam Abualhaija, Muhammad Ilyas Azeem, Orlando Amaral Cejas, and Angelo Rizzi<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Linklaters LLP<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>Technological advances in information sharing have raised concerns about data protection. In Europe, the General Data Protection Regulation (GDPR) imposes obligations onto organizations anywhere, as long as they handle data related to EU residents. Violating GDPR can levy penalty fines reaching up to tens of millions of euros. Manual compliance checking (verifying the textual content of legal documents) is time-consuming and error prone. In ARTAGO, we are developing AI-enabled automated solutions for checking the compliance of diverse legal artifacts according to GDPR. These automated solutions will be used as a means for assisting the legal experts in their work.<\/em><\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"project-details-pdf\"\n    >\nProject details (PDF):<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><\/p>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-d7abae3e-d337-476f-8362-e1f3242b57e3\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-d7abae3e-d337-476f-8362-e1f3242b57e3\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-d7abae3e-d337-476f-8362-e1f3242b57e3\"\n        >\n            <span class=\"accordion__title\">\n                                Fault-based automated quality assurance (FAQAS)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-d7abae3e-d337-476f-8362-e1f3242b57e3\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-d7abae3e-d337-476f-8362-e1f3242b57e3\"\n        data-bs-parent=\"[data-reference=&quot;014498d1-ec46-468a-a713-f62f25dfe65e&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--course\"><li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>2019-2022 and 2022-2025<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>ESA GSTP<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Fabrizio Pastore (PI), Lionel Briand, Enrico Vigan\u00f2, Oscar Cornejo, Jaekwon Lee<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>GomSpace Luxembourg, LuxSpace, Huld Finland<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>The success of space missions depends on the dependability of software, but current practice and standards lack methods to systematically assess the quality of the test suites used to verify such software. To address such limitation, the FAQAS project is building effective techniques to measure the fault detection capability of test suites (mutation analysis) and automatically generate test cases to improve them (mutation testing). FAQAS techniques can inject faults into source code but also alter the data produced by hardware and emulated components. The implemented toolset can be used with embedded software for different kinds of cyber-physical systems.<\/em><\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"project-details-pdf\"\n    >\nProject details (PDF):<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><\/p>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-a4885e06-532f-4640-9b02-1707652d5041\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-a4885e06-532f-4640-9b02-1707652d5041\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-a4885e06-532f-4640-9b02-1707652d5041\"\n        >\n            <span class=\"accordion__title\">\n                                Fuzz testing for space software (ESAFuzz)            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-a4885e06-532f-4640-9b02-1707652d5041\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-a4885e06-532f-4640-9b02-1707652d5041\"\n        data-bs-parent=\"[data-reference=&quot;014498d1-ec46-468a-a713-f62f25dfe65e&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--course\"><li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>2022-2023<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>ESA EXPRO+<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Fabrizio Pastore (PI), Angelo Rizzi<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>n\/a<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>Due to its deployment in a remote environment and its complex interactions with the physical world, space software should have a high degree of robustness even to unusual or corrupted inputs. Fuzz testing, or Fuzzing, is an automated testing technique that has proven to be very cost-effective and successful in finding faults in software from various use-cases and different application domains. This activity aims to support the development of effective fuzz testing tools targeting space software characteristics, which include, for example, real-timeliness, processing of sensor data, interconnected components.<\/em><\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"project-details-pdf\"\n    >\nProject details (PDF):<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\n<strong>Duration:<\/strong><\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>2018-2023<\/p>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-1dcbb188-e3fc-4946-990f-d1b0d1f058f0\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-1dcbb188-e3fc-4946-990f-d1b0d1f058f0\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-1dcbb188-e3fc-4946-990f-d1b0d1f058f0\"\n        >\n            <span class=\"accordion__title\">\n                                Automated testing and debugging of DNN-based systems            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-1dcbb188-e3fc-4946-990f-d1b0d1f058f0\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-1dcbb188-e3fc-4946-990f-d1b0d1f058f0\"\n        data-bs-parent=\"[data-reference=&quot;014498d1-ec46-468a-a713-f62f25dfe65e&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--course\"><li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>SnT partnership program + FNR BRIDGES<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Lionel Briand (PI), Fabrizio Pastore, Donghwan Shin, Mohammed Attaoui, Fitash Ul Haq, Hazem Fahmy<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>IEE<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>Autonomous systems like self-driving cars can reshape our future by automating complex tasks and preventing human errors; unfortunately, their adoption in safety-critical contexts remains under debate. Indeed, being based on black-box machine learning solutions such as Deep Neural Networks, they cannot undergo traditional software safety certification processes that rely on the understandability of the system implementation. We are overcoming such limitations by providing automated solutions to (1) verify autonomous systems software, (2) generate explanations for software behaviour, (3) improve autonomous systems software. Our enabling solutions are simulation technology, evolutionary algorithms, and unsupervised learning methods to identify similar DNN behaviours.<\/em><\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"project-details-pdf\"\n    >\nProject details (PDF):<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><\/p>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-a3e697e9-ea14-4a14-95d2-3d4e741eee8f\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-a3e697e9-ea14-4a14-95d2-3d4e741eee8f\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-a3e697e9-ea14-4a14-95d2-3d4e741eee8f\"\n        >\n            <span class=\"accordion__title\">\n                                Automated Testing Framework for SDN-based Systems            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-a3e697e9-ea14-4a14-95d2-3d4e741eee8f\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-a3e697e9-ea14-4a14-95d2-3d4e741eee8f\"\n        data-bs-parent=\"[data-reference=&quot;014498d1-ec46-468a-a713-f62f25dfe65e&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--course\"><li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>2020-2023<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR IPBG<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Seung Yeob Shin (PI), Lionel Briand, Rapha\u00ebl Ollando<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>SES<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>With software being an integral part of software-defined networks (SDN), developing network controllers entails interdisciplinary considerations, which include not only network engineering but also software engineering. In particular, testing software components, while always important, takes on an even greater role in the context of developing SDN-based systems compared to those relying on traditional networks with static and predictable behaviours. The purpose of this project is to develop efficient and effective automated testing techniques for SDN-based systems. In particular, this project will develop an automated test case generation method to reveal faults in software components of the SDN-based system under test.<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"project-details-pdf\"\n    >\nProject details (PDF):<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><\/p>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-69ca133d-8edd-43bd-9601-9ce57e74a50f\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-69ca133d-8edd-43bd-9601-9ce57e74a50f\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-69ca133d-8edd-43bd-9601-9ce57e74a50f\"\n        >\n            <span class=\"accordion__title\">\n                                Automated Testing for Complex Cyber-Physical Systems            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-69ca133d-8edd-43bd-9601-9ce57e74a50f\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-69ca133d-8edd-43bd-9601-9ce57e74a50f\"\n        data-bs-parent=\"[data-reference=&quot;014498d1-ec46-468a-a713-f62f25dfe65e&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--course\"><li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>2021-2023<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>FNR IPBG<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Seung Yeob Shin (PI), Lionel Briand, Domenico Bianculli, Donghwan Shin, Junaid Akram<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>SES<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Cyber-Physical Systems (CPS), such as ground control systems and space network management systems, have become a prominent enabler in the satellite industry for providing advanced satellite communication services. To ensure service reliability and continuity, it is essential to rigorously test the CPS. This project aims to develop a framework for automated software testing of complex CPS. The core enabling techniques for this project are log analysis (to automate the investigation of event sequences recorded in logs), machine learning (to predict the likelihood of fault revealing effectiveness of test cases), and search-based software testing (to efficiently generate new test inputs).<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"project-details-pdf\"\n    >\nProject details (PDF):<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><\/p>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-53897303-5e36-49d0-a854-136f403d01ca\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-53897303-5e36-49d0-a854-136f403d01ca\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-53897303-5e36-49d0-a854-136f403d01ca\"\n        >\n            <span class=\"accordion__title\">\n                                Testing of App Upgrades            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-53897303-5e36-49d0-a854-136f403d01ca\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-53897303-5e36-49d0-a854-136f403d01ca\"\n        data-bs-parent=\"[data-reference=&quot;014498d1-ec46-468a-a713-f62f25dfe65e&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--course\"><li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>2018-2022<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>SnT partnership program<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Lionel Briand (PI), Fabrizio Pastore, Chanh Duc Ngo<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Huawei<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Mobile Apps are frequently released, mainly to fulfill marketing strategies aiming at increasing App visibility. Consequently, to reduce costs, quality assurance activities should focus on updated features. Unfortunately, state-of-the-art automated App testing solutions focus on testing the whole App and do not target the testing of App updates.<br>We fill this gap by relying on model-based approaches that synthesize App models with static analysis, integrate dynamically-refined state abstraction functions and combine complementary testing strategies. We aim at high coverage of updated code with a small number of test inputs, thus alleviating the oracle problem (i.e., less outputs to inspect).<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"project-details-pdf\"\n    >\nProject details (PDF):<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><\/p>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-13041c5f-31ee-4744-b51c-891a2e37ee48\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-13041c5f-31ee-4744-b51c-891a2e37ee48\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-13041c5f-31ee-4744-b51c-891a2e37ee48\"\n        >\n            <span class=\"accordion__title\">\n                                COSMOS: DevOps for Complex Cyber-physical Systems            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-13041c5f-31ee-4744-b51c-891a2e37ee48\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-13041c5f-31ee-4744-b51c-891a2e37ee48\"\n        data-bs-parent=\"[data-reference=&quot;014498d1-ec46-468a-a713-f62f25dfe65e&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--course\"><li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>2021-2023<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>European Union under the Horizon 2020 research and innovation programme<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Lionel Briand (PI), Domenico Bianculli (Co-PI), Fabrizio Pastore (co-PI), Joshua Dawes, Yoann Marquer, Alexander Vatov<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Aicas, Delft University of Technology, Intelligentia, GMV, Q-media, Siemens, Siemens Healthineers, The Open Group, University of Sannio, Unparallel Innovation, Zurich University of Applied Sciences<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>Much of the increasing complexity of ICT systems is being driven by the more distributed and heterogeneous nature of these systems, with Cyber Physical Systems (CPS) accounting for an increasing portion of Software Ecosystems. This basic premise underpins the COSMOS project which focuses on blending best practices DevOps solutions with the development processes used in the CPS context: this will enable the CPS world to deliver software more rapidly and result in more secure and trustworthy systems. As part of the project, the UL team will develop automated testing and run-time verification techniques for CPS.<\/em><\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"project-details-pdf\"\n    >\nProject details (PDF):<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><\/p>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-37370ffc-8da2-443d-9f4c-c7611463e4c5\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-37370ffc-8da2-443d-9f4c-c7611463e4c5\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-37370ffc-8da2-443d-9f4c-c7611463e4c5\"\n        >\n            <span class=\"accordion__title\">\n                                Automated Quality Assurance for the Management of Financial Data            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-37370ffc-8da2-443d-9f4c-c7611463e4c5\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-37370ffc-8da2-443d-9f4c-c7611463e4c5\"\n        data-bs-parent=\"[data-reference=&quot;014498d1-ec46-468a-a713-f62f25dfe65e&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--course\"><li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>2019-2022<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>SnT partnership program<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Lionel Briand (PI), Domenico Bianculli, Hichem Belgacem<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>BGL BNP Paribas &#8211; Alphonse Weicker Foundation<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>A pressing problem faced by banks and other financial service providers is to ensure the quality of their data. The proposed project will devise automated techniques for the identification of data anomalies. These anomalies include but are not limited to: duplicate, incomplete, or inconsistent data, missing relationships between data originating from different sources (e.g., profiles of the same client in different databases), and data that is potentially non-compliant with the applicable laws and regulations or the Bank\u2019s internal data practices.<\/em><\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"project-details-pdf\"\n    >\nProject details (PDF):<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><\/p>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div>\n\n<div class=\"accordion__item  wp-block-unilux-blocks-accordion-item\">\n    <h3 class=\"accordion__header\"\n        >\n        <button\n            type=\"button\"\n            id=\"accordion-labelledby-17ddd50e-25fd-4c0f-b538-93943a96f652\"\n            class=\"accordion__button collapsed\"\n            aria-expanded=\"false\"\n            aria-controls=\"accordion-panel-17ddd50e-25fd-4c0f-b538-93943a96f652\"\n            data-bs-toggle=\"collapse\"\n            data-bs-target=\"#accordion-panel-17ddd50e-25fd-4c0f-b538-93943a96f652\"\n        >\n            <span class=\"accordion__title\">\n                                Self-healing Distributed Security            <\/span>\n\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-down \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\"><\/use><\/svg>        <\/button>\n    <\/h3>\n    <div id=\"accordion-panel-17ddd50e-25fd-4c0f-b538-93943a96f652\"\n        class=\"accordion__collapse collapse\"\n        aria-labelledby=\"accordion-labelledby-17ddd50e-25fd-4c0f-b538-93943a96f652\"\n        data-bs-parent=\"[data-reference=&quot;014498d1-ec46-468a-a713-f62f25dfe65e&quot;]\"\n    >\n        <div class=\"accordion__body \">\n            \n<ul class=\"wp-block-unilux-blocks-highlighted-list list-highlighted list-highlighted--course\"><li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"duration\"\n    >\nDuration:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>2020-2022<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"funding-source\"\n    >\nFunding source:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>SnT partnership program<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"researchers\"\n    >\nResearchers:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>Domenico Bianculli (PI), Lionel Briand, Donghwan Shin, Zanis Ali Khan<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"partners\"\n    >\nPartners:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p>HITEC<\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"description\"\n    >\nDescription:<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><em>Logging is a common programming practice that is used for gathering runtime information of a software system. The goal of the project is to develop automated techniques for log-based anomaly detection using machine learning, to allow for the detection of and reaction to attacks on the communication system in critical edge-computing infrastructures. To efficiently handle the massive data in the log streams of a system under analysis and better detect anomalies, we mainly address the problem of log template identification and investigate its relationship with anomaly detection.<\/em><\/p>\n<\/div><\/div><\/li>\n\n<li class=\"list-highlighted__item  items-start wp-block-unilux-blocks-highlighted-list-item\">\n    <header class=\"list-highlighted__header wp-block-unilux-blocks-highlighted-list-item-header\">\n    \n<h4 class=\"title text-18 font-bold has-text-align-left wp-block-unilux-blocks-heading\"        id=\"project-details-pdf\"\n    >\nProject details (PDF):<\/h4>\n<div class=\"wp-block-unilux-blocks-bigtext\">\n    <span>\n        \n    <\/span>\n<\/div><\/header><div class=\"list-highlighted__body wp-block-unilux-blocks-highlighted-list-item-body\">\n    <div class=\"wp-block-unilux-blocks-highlighted-list-item-free-content-area\">\n    \n<p><\/p>\n<\/div><\/div><\/li><\/ul>\n        <\/div>\n    <\/div>\n<\/div><\/div>\n<\/div><\/section>\n\n\n<section class=\"section section wp-block-unilux-blocks-quick-link-discover-section py-0\">\n    <div class=\"container xl:max-w-screen-xl\">\n        \n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"discover-more-about-svv\"\n    >\nDiscover More About SVV<\/h2>\n\n<ul class=\"wp-block-unilux-blocks-quick-link-discover quick-link-list\">\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/software-verification-and-validation\/partners\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Partners                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n\n\n\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/join-us\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Join Us                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n\n\n\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/publications\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Publications                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n<\/ul>\n    <\/div>\n<\/section><\/div>","protected":false},"excerpt":{"rendered":"<p>Ensuring the security, safety, and reliability of software systems is crucial to our lives. SVV conducts research in automated testing, as well as requirement engineering, design-time and runtime verification, security analysis and testing, and regulatory compliance to create reliable, scalable solutions to real-world challenges. Current fields of application include space, FinTech, legal, automotive, and e-government.<\/p>\n","protected":false},"author":39,"featured_media":0,"parent":357,"menu_order":0,"template":"","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"Software Verification and Validation (SVV)","uluxPrePostTitle":"Research Group","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false},"field-of-interest":[],"organisation":[],"authorship":[39,149,179,165],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Research - Software Verification and Validation - SnT research group I University of Luxembourg<\/title>\n<meta name=\"description\" content=\"SVV researches automated testing, requirement engineering, and more to create reliable, scalable solutions to real-world challenges.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Research\" \/>\n<meta property=\"og:description\" content=\"SVV researches automated testing, requirement engineering, and more to create reliable, scalable solutions to real-world challenges.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT EN\" \/>\n<meta property=\"article:modified_time\" content=\"2025-06-24T08:01:03+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"2560\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"6 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/\",\"name\":\"Research - Software Verification and Validation - SnT research group I University of Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#website\"},\"datePublished\":\"2023-06-21T05:51:41+00:00\",\"dateModified\":\"2025-06-24T08:01:03+00:00\",\"description\":\"SVV researches automated testing, requirement engineering, and more to create reliable, scalable solutions to real-world challenges.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/en\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Research Groups\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Software Verification and Validation (SVV)\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/\"},{\"@type\":\"ListItem\",\"position\":5,\"name\":\"Research\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I University of Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-en\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#organization\",\"name\":\"SnT - University of Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - University of Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Research - Software Verification and Validation - SnT research group I University of Luxembourg","description":"SVV researches automated testing, requirement engineering, and more to create reliable, scalable solutions to real-world challenges.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/","og_locale":"en_GB","og_type":"article","og_title":"Research","og_description":"SVV researches automated testing, requirement engineering, and more to create reliable, scalable solutions to real-world challenges.","og_url":"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/","og_site_name":"SnT EN","article_modified_time":"2025-06-24T08:01:03+00:00","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"6 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/","url":"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/","name":"Research - Software Verification and Validation - SnT research group I University of Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-en\/#website"},"datePublished":"2023-06-21T05:51:41+00:00","dateModified":"2025-06-24T08:01:03+00:00","description":"SVV researches automated testing, requirement engineering, and more to create reliable, scalable solutions to real-world challenges.","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/research\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/en"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-en\/"},{"@type":"ListItem","position":3,"name":"Research Groups","item":"https:\/\/www.uni.lu\/snt-en\/research-groups\/"},{"@type":"ListItem","position":4,"name":"Software Verification and Validation (SVV)","item":"https:\/\/www.uni.lu\/snt-en\/research-groups\/svv\/"},{"@type":"ListItem","position":5,"name":"Research"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-en\/#website","url":"https:\/\/www.uni.lu\/snt-en\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-en\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I University of Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-en\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-en\/#organization","name":"SnT - University of Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-en\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - University of Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"]}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/364"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/types\/research-groups"}],"author":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/39"}],"version-history":[{"count":4,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/364\/revisions"}],"predecessor-version":[{"id":17300,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/364\/revisions\/17300"}],"up":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/357"}],"wp:authorship":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/39"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/149"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/179"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/165"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/media?parent=364"}],"wp:term":[{"taxonomy":"field-of-interest","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/field-of-interest?post=364"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/organisation?post=364"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}