Ina Schaefer
4 papers in the PaperMetrix corpus
Papers by this author
-
Variability Mining of Technical Architectures
2017
Technical architectures (TAs) represent the computing infrastructure of a company with all its hardware and software components. Over the course of time, the number of TAs grows with the companies' requirements and usually a large …
-
Analyzing Variability in 25 Years of Industrial Legacy Software
2019
In certain domains, safety-critical software systems may remain operational for decades. To comply with changing requirements, new system variants are commonly created by copying and modifying existing ones. Typically denoted clone-and-own, software quality and overall …
-
Variational correctness-by-construction
2020
Nowadays, the requirements for software and therefore also the required complexity is increasing steadily. Consequently, various techniques to handle the growing demand for software variants in one specific domain are used. These techniques often rely …
-
A model-based mutation framework for IEC61131-3 manufacturing systems
2023 · at - Automatisierungstechnik
Abstract This article presents a model-based mutation framework for creating mutant systems implemented in IEC61131-3 languages. The framework is based on a meta-model of the IEC61131-3 standard. It supports 21 mutation operations, such as the …