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

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

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).
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.
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.
Conference or Workshop Item

Al-Hajjaji, Mustafa ; Thüm, Thomas ; Meinicke, Jens ; Lochau, Malte ; Saake, Gunter
eds.: 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.
Conference or Workshop Item

This list was generated on Tue Sep 26 01:04:31 2023 CEST.