8 citations · 17 across the 4 of their papers we have counts for
6 papers · 1 filter
Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)
Robert Müller, Mathis Weiß, Malte Lochau
Cardinality-based feature models permit to select multiple copies of the same feature, thus generalizing the notion of product configurations from subsets of Boolean features to mu…
T-Wise Presence Condition Coverage and Sampling for Configurable Systems
Sebastian Krieter, Thomas Thüm, Sandro Schulze +4
Sampling techniques, such as t-wise interaction sampling are used to enable efficient testing for configurable systems. This is achieved by generating a small yet representative sa…
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl
Joel Greenyer, Malte Lochau, Thomas Vogel
This report documents the program and results of the GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS). The seminar was concerned with the chall…
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation
Frederik Deckwerth, Géza Kulcsár, Malte Lochau +2
Feature models are used to specify variability of user-configurable systems as appearing, e.g., in software product lines. Software product lines are supposed to be long-living and…
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata
Lars Luthmann, Stephan Mennicke, Malte Lochau
We present an adaptation of input/output conformance (ioco) testing principles to families of similar implementation variants as appearing in product line engineering. Our proposed…
Improved Conflict Detection for Graph Transformation with Attributes
Géza Kulcsár, Frederik Deckwerth, Malte Lochau +2
In graph transformation, a conflict describes a situation where two alternative transformations cannot be arbitrarily serialized. When enriching graphs with attributes, existing co…