ARBEITSGRUPPE

DATENBANKEN UND

SOFTWARE ENGINEERING

2019

---

• Jens Meinicke. Variational Debugging: Understanding Differences among Executions. PhD thesis, University of Magdeburg, January 2019.
   

2018

---

• 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)
   

2017

---

• 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.
   

2016

---

• 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.
   

2014

---

• 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.
   

2013

---

• 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.
   

Betreute Arbeiten

2017

---

• Maria Kanyshkova. Symbolisches Debuggen von Software-Produktlinien. Bachelor thesis, University of Magdeburg, May 2017. In German.
   

2016

---

• 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.
   

2015

---

• Gabriel Kögler. Konstruktive Realisierung eines Ziehwerkzeugs in 40 Stunden in Catia V5. Master thesis, University of Magdeburg, Germany, March 2015. In German.