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: 7.

Ruland, Sebastian and Luthmann, Lars and Bürdek, Johannes and Lity, Sascha and Thüm, Thomas and Lochau, Malte and Ribeiro, Márcio :
Measuring Effectiveness of Sample-Based Product-Line Testing.
[Online-Edition: http://doi.acm.org/10.1145/3278122.3278130]
In: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'18). ACM
[Conference or Workshop Item] , (2018)

Thüm, Thomas and Winkelmann, Tim and Schröter, Reimar and Hentschel, Martin and Krüger, Stefan :
Variability Hiding in Contracts for Dependent Software Product Lines.
In: VaMoS '16 . ACM
[Conference or Workshop Item] , (2016)

Al-Hajjaji, Mustafa and Krieter, Sebastian and Thüm, Thomas and Lochau, Malte and Saake, Gunter :
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling.
[Online-Edition: http://dx.doi.org/10.1145/2993236.2993253]
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016). ACM
[Conference or Workshop Item] , (2016)

Benduhn, Fabian and Thüm, Thomas and Lochau, Malte and Leich, Thomas and Saake, Gunter :
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
[Online-Edition: http://doi.acm.org/10.1145/2701319.2701332]
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems
[Conference or Workshop Item] , (2015)

Thüm, Thomas and Meinicke, Jens and Benduhn, Fabian and Hentschel, Martin and von Rhein, Alexander and Saake, Gunter :
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines.
In: SPLC . ACM
[Conference or Workshop Item] , (2014)

Al-Hajjaji, Mustafa and Thüm, Thomas and Meinicke, Jens and Lochau, Malte and Saake, Gunter
Gnesi, S. and Fantechi, A. and Heymans, P. and Rubin, J. and Czarnecki, K. and Dhungana, D. (eds.) :

Similarity-based Prioritization in Software Product-Line Testing.
In: Proceedings of the 18th International Software Product Line Conference. In: Software Product Line Conference .
[Conference or Workshop Item] , (2014)

Thüm, Thomas and Schaefer, Ina and Apel, Sven and Hentschel, Martin :
Family-Based Deductive Verification of Software Product Lines.
In: GPCE '12 . ACM
[Conference or Workshop Item] , (2012)

This list was generated on Sat May 25 01:51:44 2019 CEST.