TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 11.

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, pp. 21-36, Springer, DOI: 10.1007/978-3-030-13499-0_3,
[Book Section]

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), pp. 499-521. Springer, DOI: 10.1007/s10270-016-0569-2,
[Article]

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, pp. 175-206, Springer, DOI: 10.1007/978-3-030-13499-0_8,
[Book Section]

Pett, Tobias ; Thüm, Thomas ; Runge, Tobias ; Krieter, Sebastian ; Lochau, Malte ; Schaefer, Ina (2019):
Product Sampling for Product Lines: The Scalability Challenge.
pp. 14:1-14:6, Paris, ACM, 23rd International Systems and Software Product Line Conference (SPLC '19), DOI: 10.1145/3336294.3336322,
[Conference or Workshop Item]

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.
pp. 119-133, ACM, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'18), DOI: 10.1145/3278122.3278130,
[Conference or Workshop Item]

Thüm, Thomas ; Winkelmann, Tim ; Schröter, Reimar ; Hentschel, Martin ; Krüger, Stefan (2016):
Variability Hiding in Contracts for Dependent Software Product Lines.
In: VaMoS '16, In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, pp. 97--104,
ACM, Salvador, Brazil, ISBN 978-1-4503-4019-9,
DOI: 10.1145/2866614.2866628,
[Conference or Workshop Item]

Al-Hajjaji, Mustafa ; Krieter, Sebastian ; Thüm, Thomas ; Lochau, Malte ; Saake, Gunter (2016):
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling.
pp. 144-155, ACM, Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016), ISBN 978-1-4503-4446-3,
[Conference or Workshop Item]

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.
In: Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, pp. 80-87,
[Conference or Workshop Item]

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.
In: SPLC, In: Proceedings of the International Software Product Line Conference (SPLC),
ACM, [Conference or Workshop Item]

Al-Hajjaji, Mustafa ; Thüm, Thomas ; Meinicke, Jens ; Lochau, Malte ; Saake, Gunter
Gnesi, S. ; Fantechi, A. ; Heymans, P. ; Rubin, J. ; Czarnecki, K. ; Dhungana, D. (eds.) (2014):
Similarity-based Prioritization in Software Product-Line Testing.
In: Software Product Line Conference, pp. 197-206, Proceedings of the 18th International Software Product Line Conference, [Conference or Workshop Item]

Thüm, Thomas ; Schaefer, Ina ; Apel, Sven ; Hentschel, Martin (2012):
Family-Based Deductive Verification of Software Product Lines.
In: GPCE '12, In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, pp. 11-20,
ACM, Dresden, Germany, ISBN 978-1-4503-1129-8,
[Conference or Workshop Item]

This list was generated on Tue Jan 18 06:18:10 2022 CET.