output
20162026
most citedOrganic and perovskite solar cells for space applications

227 citations

Showing cs.SEShow all

13 papers · 1 filter

cs.SE2026

Mutation Testing of Simulink Cyber-Physical System Models: Challenges and Solutions in Practice

Murat Kavak, Onur Kilincceker, Serge Demeyer +2

Several experience reports illustrate that mutation testing is capable of supporting a shift-left testing strategy, especially in industries where late bug discovery incurs very hi…

cs.SE2025★ 13 cited

Model management to support systems engineering workflows using ontology-based knowledge graphs

Arkadiusz Ryś, Lucas Lima, Joeri Exelmans +2

System engineering has been shifting from document-centric to model-based approaches, where assets are becoming more and more digital. Although digitisation conveys several benefit…

cs.SE2023★ 1 cited

Enhancing Architecture Frameworks by Including Modern Stakeholders and their Views/Viewpoints

Armin Moin, Atta Badii, Stephan Günnemann +1

Various architecture frameworks for software, systems, and enterprises have been proposed in the literature. They identified several stakeholders and defined modeling perspectives,…

cs.SE2023★ 4 cited

Model-Driven Quantum Federated Learning (QFL)

Armin Moin, Atta Badii, Moharram Challenger

Recently, several studies have proposed frameworks for Quantum Federated Learning (QFL). For instance, the Google TensorFlow Quantum (TFQ) and TensorFlow Federated (TFF) libraries…

cs.SE2022★ 3 cited

MDE for Machine Learning-Enabled Software Systems: A Case Study and Comparison of MontiAnna & ML-Quadrat

Jörg Christian Kirchhof, Evgeny Kusmenko, Jonas Ritz +5

In this paper, we propose to adopt the MDE paradigm for the development of Machine Learning (ML)-enabled software systems with a focus on the Internet of Things (IoT) domain. We il…

cs.SE2021★ 15 cited

Small-Amp: Test Amplification in a Dynamically Typed Language

Mehrdad Abdi, Henrique Rocha, Serge Demeyer +1

Some test amplification tools extend a manually created test suite with additional test cases to increase the code coverage. The technique is effective, in the sense that it sugges…

cs.SE2021

ML-Quadrat & DriotData: A Model-Driven Engineering Tool and a Low-Code Platform for Smart IoT Services

Armin Moin, Andrei Mituca, Moharram Challenger +2

In this paper, we present ML-Quadrat, an open-source research prototype that is based on the Eclipse Modeling Framework (EMF) and the state of the art in the literature of Model-Dr…

cs.SE2021★ 19 cited

Supporting AI Engineering on the IoT Edge through Model-Driven TinyML

Armin Moin, Moharram Challenger, Atta Badii +1

Software engineering of network-centric Artificial Intelligence (AI) and Internet of Things (IoT) enabled Cyber-Physical Systems (CPS) and services, involves complex design and val…

cs.SE2021★ 37 cited

A Model-Driven Approach to Machine Learning and Software Modeling for the IoT

Armin Moin, Moharram Challenger, Atta Badii +1

Models are used in both Software Engineering (SE) and Artificial Intelligence (AI). SE models may specify the architecture at different levels of abstraction and for addressing dif…

cs.SE2021

Mutant Density: A Measure of Fault-Sensitive Complexity

Ali Parsai, Serge Demeyer

Software code complexity is a well-studied property to determine software component health. However, the existing code complexity metrics do not directly take into account the faul…

cs.SE2021★ 18 cited

Comparing Mutation Coverage Against Branch Coverage in an Industrial Setting

Ali Parsai, Serge Demeyer

The state-of-the-practice in software development is driven by constant change fueled by continuous integration servers. Such constant change demands for frequent and fully automat…

cs.SE2020★ 9 cited

Software Test Automation Maturity -- A Survey of the State of the Practice

Yuqing Wang, Mika V. Mäntylä, Serge Demeyer +3

The software industry has seen an increasing interest in test automation. In this paper, we present a test automation maturity survey serving as a self-assessment for practitioners…

cs.SE2020★ 7 cited

Do Null-Type Mutation Operators Help Prevent Null-Type Faults?

Ali Parsai, Serge Demeyer

The null-type is a major source of faults in Java programs, and its overuse has a severe impact on software maintenance. Unfortunately traditional mutation testing operators do not…