TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 6.

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

Al-Hajjaji, Mustafa ; Krieter, Sebastian ; Thüm, Thomas ; Lochau, Malte ; 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
[Konferenz- oder Workshop-Beitrag], (2016)

Benduhn, Fabian ; Thüm, Thomas ; Lochau, Malte ; Leich, Thomas ; 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
[Konferenz- oder Workshop-Beitrag], (2015)

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

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

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

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

Diese Liste wurde am Sat Jul 14 03:23:16 2018 CEST generiert.