8 citations · 29 across the 12 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 4 cited
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
Lars Luthmann, Stephan Mennicke, Malte Lochau
We propose an input/output conformance testing theory utilizing Modal Interface Automata with Input Refusals (IR-MIA) as novel behavioral formalism for both the specification and t…
cs.SE2016★ 3 cited
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…