Multi-objective test suite optimization for incremental product family testing H Baller, S Lity, M Lochau, I Schaefer 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 59 | 2014 |
Incremental model checking of delta-oriented software product lines M Lochau, S Mennicke, H Baller, L Ribbeck Journal of Logical and Algebraic Methods in Programming 85 (1), 245-267, 2016 | 28 | 2016 |
DeltaCCS: a core calculus for behavioral change M Lochau, S Mennicke, H Baller, L Ribbeck Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 23 | 2014 |
Conditioned model slicing of feature-annotated state machines J Kamischke, M Lochau, H Baller Proceedings of the 4th International Workshop on Feature-Oriented Software …, 2012 | 18 | 2012 |
Towards incremental model slicing for delta-oriented software product lines S Lity, H Baller, I Schaefer 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and …, 2015 | 12 | 2015 |
Towards incremental test suite optimization for software product lines H Baller, M Lochau Proceedings of the 6th International Workshop on Feature-Oriented Software …, 2014 | 12 | 2014 |
Fault-aware Pareto Frontier Exploration for Dependable System Architectures. L Märtin, H Baller, A Koziolek, RH Reussner ModComp@ MoDELS, 25-30, 2016 | | 2016 |
Automatisiertes Feature Model Mining zur extraktiven Produktlinienentwicklung H Baller | | 2012 |