Deutsch

Thüm, Thomas ; Winkelmann, Tim ; Schröter, Reimar ; Hentschel, Martin ; Krüger, Stefan (2016)
Variability Hiding in Contracts for Dependent Software Product Lines.
Salvador, Brazil
doi: 10.1145/2866614.2866628
Konferenzveröffentlichung, Bibliographie

Thüm, Thomas ; Schaefer, Ina ; Apel, Sven ; Hentschel, Martin (2012)
Family-Based Deductive Verification of Software Product Lines.
Dresden, Germany
Konferenzveröffentlichung, Bibliographie

Englisch

Jung, Reiner ; Märtin, Lukas ; Johanssen, Jan Ole ; Paech, Barbara ; Lochau, Malte ; Thüm, Thomas ; Schneider, Kurt ; Tichy, Matthias ; Ulbrich, Mattias (2019)
Addressed Challenges.
In: Managed Software Evolution
doi: 10.1007/978-3-030-13499-0_3
Buchkapitel, Bibliographie

Al-Hajjaji, Mustafa ; Thüm, Thomas ; Lochau, Malte ; Meinicke, Jens ; Saake, Gunter (2019)
Effective product-line testing using similarity-based product prioritization.
In: Software and Systems Modeling, 18 (1)
doi: 10.1007/s10270-016-0569-2
Artikel, Bibliographie

Thüm, Thomas ; Hoorn, André van ; Apel, Sven ; Bürdek, Johannes ; Getir, Sinem ; Heinrich, Robert ; Jung, Reiner ; Kowal, Matthias ; Lochau, Malte ; Schaefer, Ina ; Walter, Jürgen (2019)
Performance Analysis Strategies for Software Variants and Versions.
In: Managed Software Evolution
doi: 10.1007/978-3-030-13499-0_8
Buchkapitel, Bibliographie

Pett, Tobias ; Thüm, Thomas ; Runge, Tobias ; Krieter, Sebastian ; Lochau, Malte ; Schaefer, Ina (2019)
Product Sampling for Product Lines: The Scalability Challenge.
23rd International Systems and Software Product Line Conference (SPLC '19).
doi: 10.1145/3336294.3336322
Konferenzveröffentlichung, Bibliographie

Ruland, Sebastian ; Luthmann, Lars ; Bürdek, Johannes ; Lity, Sascha ; Thüm, Thomas ; Lochau, Malte ; Ribeiro, Márcio (2018)
Measuring Effectiveness of Sample-Based Product-Line Testing.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'18).
doi: 10.1145/3278122.3278130
Konferenzveröffentlichung, Bibliographie

Al-Hajjaji, Mustafa ; Krieter, Sebastian ; Thüm, Thomas ; Lochau, Malte ; Saake, Gunter (2016)
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016).
Konferenzveröffentlichung, Bibliographie

Benduhn, Fabian ; Thüm, Thomas ; Lochau, Malte ; Leich, Thomas ; Saake, Gunter (2015)
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Thüm, Thomas ; Meinicke, Jens ; Benduhn, Fabian ; Hentschel, Martin ; Rhein, Alexander von ; Saake, Gunter (2014)
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Al-Hajjaji, Mustafa ; Thüm, Thomas ; Meinicke, Jens ; Lochau, Malte ; Saake, Gunter
Hrsg.: Gnesi, S. ; Fantechi, A. ; Heymans, P. ; Rubin, J. ; Czarnecki, K. ; Dhungana, D. (2014)
Similarity-based Prioritization in Software Product-Line Testing.
Proceedings of the 18th International Software Product Line Conference.
Konferenzveröffentlichung, Bibliographie