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
Jump to: German | English
Number of items: 4.

German

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

English

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

Benduhn, Fabian and Thüm, Thomas and Lochau, Malte and Leich, Thomas and 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, [Online-Edition: http://doi.acm.org/10.1145/2701319.2701332],
[Conference or Workshop Item]

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.) (2014):
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]

This list was generated on Sat Jul 20 02:04:28 2019 CEST.