8 citations · 29 across the 12 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.SE2015★ 6 cited
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…
cs.SE2015★ 8 cited
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…