Jens Meinicke
M.Sc. Jens Meinicke
Fakultät für Informatik
AG Datenbanken & Software Engineering
AG Datenbanken & Software Engineering
Universitätsplatz 2,
39106, Magdeburg,
G29-132
Vita
My Projects
- Maria Kanyshkova.
Symbolisches Debuggen von Software-Produktlinien.
Bachelor thesis, University of Magdeburg, May 2017.
In German.
- Jacob Krüger.
A Cost Estimation Model for the Extractive Software-Product-Line
Approach.
Master thesis, University of Magdeburg, Germany, February
2016.
- Steffen Schulze.
Feature-orientiertes Refactoring zur Migration von
Produktvarianten.
Master thesis, University of Magdeburg, Germany, February 2016.
In German.
- Hamza Zulfiqar.
Towards Detecting Unintended Feature Interactions.
Master thesis, TU Darmstadt, 2016.
- Gabriel Kögler.
Konstruktive Realisierung eines Ziehwerkzeugs in 40 Stunden in Catia V5.
Master thesis, University of Magdeburg, Germany, March 2015.
In German.
- Chu-Pan Wong, Jens Meinicke, Lukas
Lazarek, and Christian Kästner.
Faster Variational Execution with Transparent Bytecode
Transformation.
In Proceedings of the International Conference on Object-Oriented
Programming, Systems, Languages and Applications (OOPSLA). ACM,
November 2018.
- Chu-Pan Wong, Jens Meinicke, and
Christian Kästner.
Beyond Testing Configurable Systems: Applying Variational Execution to
Automatic Program Repair and Higher Order Mutation Testing.
In Proceedings of the European Software Engineering
Conference/Foundations of Software Engineering - New Ideas and Emerging
Results (ESEC/FSE-NIER). ACM, November 2018.
- Larissa Soares, Jens Meinicke, Sarah
Nadi, Christian Kästner, and Eduardo Almeida.
Exploring Feature Interactions Without Specifications: A
Controlled Experiment.
In International Conference on Generative Programming: Concepts &
Experiences (GPCE), November 2018.
- Larissa Rocha Soares, Jens Meinicke,
Sarah Nadi, Christian Kästner, and Eduardo Santana de Almeida.
VarXplorer: Lightweight Process for Dynamic Analysis of Feature
Interactions.
In International Workshop on Variability Modelling of Software-Intensive
Systems (VaMoS), February 2018.
- Jens Meinicke, Chu-Pan Wong, Christian
Kästner, and Gunter Saake.
Understanding Differences among
Executions with Variational Traces.
Technical report, arXiv, 2018.
(PDF)
- Alexander Küppel, Thomas Thüm,
Stephan Mennicke, Jens Meinicke, and Ina Schäfer.
Is There a Mismatch Between Real-World Feature Models and
Product-Line Research?.
In European Software Engineering Conference and the ACM SIGSOFT Symposium
on the Foundations of Software Engineering (ESEC/FSE), pages 291–302,
September 2017.
- Wolfram Fenske, Jens Meinicke, Sandro
Schulze, Steffen Schulze, and Gunter Saake.
Variant-Preserving Refactorings for Migrating Cloned Products
to a Product Line.
In International Conference on Software Analysis, Evolution and
Reengineering (SANER), pages 316–326. IEEE,
2017.
- Meng Meng, Jens Meinicke, Chu-Pan Wong,
Eric Walkingshaw, and Christian Kästner.
A Choice of Variational Stacks: Exploring Variational Data
Structures.
In International Workshop on Variability Modelling of Software-intensive
Systems (VaMoS). ACM, 2017.
- Jens Meinicke, Thomas Thüm, Reimar
Schröter, Fabian Benduhn, Thomas Leich, and Gunter Saake.
Mastering
Software Variability with FeatureIDE.
Springer, October 2017.
- Mustafa Al-Hajjaji, Thomas Thüm,
Malte Lochau, Jens Meinicke, and Gunter Saake.
Effective Product-Line
Testing Using Similarity-Based Product Prioritization.
International Journal on Software and Systems Modeling (SoSyM),
December 2016.
- Mustafa Al-Hajjaji, Jens Meinicke,
Sebastian Krieter, Reimar Schröter, Thomas Thüm, Thomas Leich, and
Gunter Saake.
Tool Demo: Testing Configurable Systems with FeatureIDE.
In Proceedings of the International Conference on Generative Programming:
Concepts & Experiences (GPCE), pages 173–177, New York, NY, USA,
October 2016. ACM.
- Jacob Krüger, Wolfram Fenske, Jens
Meinicke, Thomas Leich, and Gunter Saake.
Extracting Software Product Lines: A Cost Estimation
Perspective.
In International Systems and Software Product Line Conference,
SPLC, pages 354–361. ACM, September 2016.
- Jens Meinicke, Chu-Pan Wong, Christian
Kästner, Thomas Thüm, and Gunter Saake.
On Essential Configuration Complexity: Measuring Interactions
In Highly-Configurable Systems.
In Proceedings of the International Conference on Automated Software
Engineering (ASE), volume 31. ACM, September
2016.
- Juliana Alves Pereira, Sebastian
Krieter, Jens Meinicke, Reimar Schröter, Gunter Saake, and Thomas Leich.
FeatureIDE: Scalable Product Configuration of Variable Systems.
In Proceedings of the International Conference on Software Reuse
(ICSR), pages 397–401. Springer, June 2016.
- Jens Meinicke, Thomas Thüm, Reimar
Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, and Thomas
Leich.
FeatureIDE: Taming the Preprocessor Wilderness.
In Proceedings of the International Conference on Software Engineering
(ICSE), pages 629–632, New York, NY, USA, May 2016.
ACM.
- Jens Meinicke.
VarexJ: A Variability-Aware Interpreter for Java Applications.
Master thesis, University of Magdeburg, Germany, December
2014.
- Jens Meinicke, Thomas Thüm, Reimar
Schröter, Fabian Benduhn, and Gunter Saake.
An Overview on Analysis Tools for Software Product Lines.
In Workshop on Software Product Line Analysis Tools (SPLat), pages
94–101, New York, NY, USA, September 2014. ACM.
- Thomas Thüm, Jens Meinicke, Fabian
Benduhn, Martin Hentschel, Alexander von Rhein, and Gunter Saake.
Potential Synergies of Theorem Proving and Model Checking for
Software Product Lines.
In Proceedings of the International Software Product Line Conference
(SPLC), pages 177–186, New York, NY, USA, September 2014.
ACM.
- Mustafa Al-Hajjaji, Thomas Thüm,
Jens Meinicke, Malte Lochau, and Gunter Saake.
Similarity-Based Prioritization in Software Product-Line
Testing.
In Proceedings of the International Software Product Line Conference
(SPLC), pages 197–206, New York, NY, USA, September 2014.
ACM.
- Thomas Thüm, Christian Kästner,
Fabian Benduhn, Jens Meinicke, Gunter Saake, and Thomas Leich.
FeatureIDE: An Extensible Framework for Feature-Oriented Software
Development.
Science of Computer Programming, 79(0):70–85, January
2014.
- Jens Meinicke.
JML-Based Veri fication for Feature-Oriented Programming.
Bachelor thesis, University of Magdeburg, Germany, May
2013.
- Frank Ortmeier, Simon Struck, Jens
Meinicke, and Jochen Quante.
A Pragmatic Approach For Debugging Parameter-Driven Software.
In Stefan Kowalewski and Bernhard Rumpe, editors, Software Engineering
2013, volume 213 of Lecture Notes in Informatics, pages
199–212, February 2013.
Interests