Fabian Benduhn

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 8

Top Topics

Software Development

Mutation Testing

Top Venues

ICSE (Companion Volume)

Publications

Jacob Krüger, Marcus Pinnecke, Andy Kenner, Christopher Kruczek, Fabian Benduhn, Thomas Leich, Gunter Saake
Composing annotations without regret? Practical experiences using FeatureC. Softw. Pract. Exp. 48 (3) (2018)
Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces. Software Engineering (2017)
Mustafa Al-Hajjaji, Jacob Krüger, Fabian Benduhn, Thomas Leich, Gunter Saake
Efficient Mutation Testing in Configurable Systems. VACE@ICSE (2017)
Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake
Modularization of Refinement Steps for Agile Formal Methods. ICFEM (2017)
Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake
Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. ICSE (2016)
Jens Meinicke, Thomas Thüm, Reimar Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, Thomas Leich
FeatureIDE: taming the preprocessor wilderness. ICSE (Companion Volume) (2016)
Mustafa Al-Hajjaji, Fabian Benduhn, Thomas Thüm, Thomas Leich, Gunter Saake
Mutation Operators for Preprocessor-Based Variability. VaMoS (2016)
Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, Gunter Saake
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. VaMoS (2015)
Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, Thomas Leich
FeatureIDE: An extensible framework for feature-oriented software development. Sci. Comput. Program. 79 (2014)
Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Gunter Saake
An overview on analysis tools for software product lines. SPLC Workshops (2014)
Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake
Potential synergies of theorem proving and model checking for software product lines. SPLC (2014)