Thomas Thüm
TitleCited byYear
FeatureIDE: An extensible framework for feature-oriented software development
T Thüm, C Kästner, F Benduhn, J Meinicke, G Saake, T Leich
Science of Computer Programming 79 (0), 70-85, 2014
4062014
Reasoning about edits to feature models
T Thüm, D Batory, C Kästner
Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on …, 2009
3762009
A classification and survey of analysis strategies for software product lines
T Thüm, S Apel, C Kästner, I Schaefer, G Saake
ACM Computing Surveys (CSUR) 47 (1), 6, 2014
3262014
FeatureIDE: A tool framework for feature-oriented software development
C Kästner, T Thüm, G Saake, J Feigenspan, T Leich, F Wielgorz, S Apel
Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on …, 2009
2362009
Type checking annotation-based product lines
C Kästner, S Apel, T Thüm, G Saake
ACM Trans. Softw. Eng. Methodol.(TOSEM) 21 (3), 14:1–14:39, 2012
1522012
Abstract features in feature modeling
T Thüm, C Kästner, S Erdweg, N Siegmund
Software Product Line Conference (SPLC), 2011 15th International, 191-200, 2011
1442011
Similarity-based prioritization in software product-line testing
M Al-Hajjaji, T Thüm, J Meinicke, M Lochau, G Saake
Proceedings of the International Software Product Line Conference (SPLC …, 2014
812014
Analysis strategies for software product lines
T Thüm, S Apel, C Kästner, M Kuhlemann, I Schaefer, G Saake
Technical Report FIN-004-2012, 2012
812012
Family-based deductive verification of software product lines
T Thüm, I Schaefer, S Apel, M Hentschel
International Conference on Generative Programming and Component Engineering, 2012
752012
On essential configuration complexity: measuring interactions in highly-configurable systems
J Meinicke, CP Wong, C Kästner, T Thüm, G Saake
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
682016
Variant-preserving refactoring in feature-oriented software product lines
S Schulze, T Thüm, M Kuhlemann, G Saake
672012
Feature-interaction detection based on feature-based specifications
S Apel, A Rhein, T Thüm, C Kästner
Computer Networks, 2013
662013
Multi-dimensional variability modeling
M Rosenmüller, N Siegmund, T Thüm, G Saake
Proceedings of the 5th Workshop on Variability Modeling of Software …, 2011
642011
IncLing: efficient product-line testing using incremental pairwise sampling
M Al-Hajjaji, S Krieter, T Thüm, M Lochau, G Saake
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative …, 2016
582016
Mastering Software Variability with FeatureIDE
J Meinicke, T Thüm, R Schröter, F Benduhn, T Leich, G Saake
Springer, 2017
562017
Effective product-line testing using similarity-based product prioritization
M Al-Hajjaji, T Thüm, M Lochau, J Meinicke, G Saake
Software & Systems Modeling 18 (1), 499-521, 2019
512019
Proof composition for deductive verification of software product lines
T Thüm, I Schaefer, M Kuhlemann, S Apel
Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE …, 2011
492011
A taxonomy of software product line reengineering
W Fenske, T Thüm, G Saake
Proceedings of the Eighth International Workshop on Variability Modelling of …, 2014
482014
Explaining anomalies in feature models
M Kowal, S Ananieva, T Thüm
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative …, 2016
472016
The PLA model: On the combination of product-line analyses
A von Rhein, S Apel, C Kästner, T Thüm, I Schaefer
452013
The system can't perform the operation now. Try again later.
Articles 1–20