Conditioned model slicing of feature-annotated state machines. - Jochen Kamischke; Malte Lochau; Hauke Baller (FOSD, 2012)

Parameterized Preorder Relations for Model-Based Testing of Software Product Lines. - Malte Lochau; Jochen Kamischke (ISoLA (1), 2012)

Incremental Model-Based Testing of Delta-Oriented Software Product Lines. - Malte Lochau; Ina Schaefer; Jochen Kamischke; Sascha Lity (TAP@TOOLS, 2012)