2016

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars (2016)
Incremental model checking of delta-oriented software product lines.
Konferenzveröffentlichung, Bibliographie

2014

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars (2014)
DeltaCCS: A Core Calculus for Behavioral Change.
Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation.
Konferenzveröffentlichung, Bibliographie

Baller, Hauke ; Lity, Sascha ; Lochau, Malte ; Schaefer, Ina (2014)
Multi-Objective Test Suite Optimization for Incremental Product Family Testing.
7th IEEE International Conference on Software Testing, Verification and Validation.
Konferenzveröffentlichung, Bibliographie

Baller, Hauke ; Lochau, Malte (2014)
Towards Incremental Test Suite Optimization for Software Product Lines.
Proceedings of the 6th International Workshop on Feature-Oriented Software Development.
Konferenzveröffentlichung, Bibliographie

2012

Kamischke, Jochen ; Lochau, Malte ; Baller, Hauke (2012)
Conditioned Model Slicing of Feature-annotated State Machines.
Proceedings of the 4th International Workshop on Feature-Oriented Software Development. New York, NY, USA
Konferenzveröffentlichung, Bibliographie