Hauke Baller
Hauke Baller
Institut für Programmierung und Reaktive Systeme, TU Braunschweig
Verified email at
Cited by
Cited by
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
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
DeltaCCS: a core calculus for behavioral change
M Lochau, S Mennicke, H Baller, L Ribbeck
Leveraging Applications of Formal Methods, Verification and Validation …, 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
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
Towards incremental test suite optimization for software product lines
H Baller, M Lochau
Proceedings of the 6th International Workshop on Feature-Oriented Software …, 2014
Fault-aware Pareto Frontier Exploration for Dependable System Architectures.
L Märtin, H Baller, A Koziolek, RH Reussner
ModComp@ MoDELS, 25-30, 2016
Automatisiertes Feature Model Mining zur extraktiven Produktlinienentwicklung
H Baller
The system can't perform the operation now. Try again later.
Articles 1–8