Lukas Linsbauer

1st intl. workshop on variability and evolution of software-intensive systems (varivolution)

2018

Modern software systems are subject to continuous change and often need to exist in many variants addressing different requirements. Yet, software versions resulting from evolution in time (aka revisions) and variants resulting from evolution in …

Harmonized temporal feature modeling to uniformly perform, track, analyze, and replay software product line evolution

2019

A feature model (FM) describes commonalities and variability within a software product line (SPL) and represents the configuration options at one point in time. A temporal feature model (TFM) additionally represents FM evolution, e.g., the …

Semantic Clone Detection via Probabilistic Software Modeling

2022 · Lecture notes in computer science

Abstract Semantic clone detection is the process of finding program elements with similar or equal runtime behavior. For example, detecting the semantic equality between the recursive and iterative implementation of the factorial computation. Semantic clone …

Refactoring Product Lines by Replaying Version Histories

2022

When evolving software product lines, new features are added over time and existing features are revised. Engineers also decide to merge different features or split features in other cases. Such refactoring tasks are difficult when …

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 …