Publications

Lars Luthmann, Stephan Mennicke and Malte Lochau
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
CoRR, abs/1606.09035
2016
Sascha Lity, Thomas Morbach, Thomas Thüm and Ina Schaefer
Applying Incremental Model Slicing to Product-Line Regression Testing
In M. Georgiaand Santana de Almeida Kapitsaki, editor,
page 3--19.
Publisher: Springer International Publishing, Cham
2016
ISBN: 978-3-319-35122-3
Thomas Schnabel, Markus Weckesser, Roland Kluge, Malte Lochau and Andy Schürr
CardyGAn: Tool Support for Cardinality-based Feature Models
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016 , page 33--40.
2016
Frederik Deckwerth, Géza Kulcsár, Malte Lochau, Gergely Varró and Andy Schürr
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation
Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016. , page 17--31.
2016
Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau and Gunter Saake
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences of GPCE 2016 , page 144--155.
Publisher: ACM,
2016
ISBN: 978-1-4503-4446-3
Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen and Andy Schürr
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models
Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings , page 158--175.
2016
Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel and Dirk Beyer
On facilitating reuse in multi-goal test-suite generation for software product lines
Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich , page 81--82.
2016
Remo Lachmann, Sascha Lity, Mustafa Al-Hajjaji, Fürchtegott Franz E. and Ina Schaefer
Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines
Proceedings of the International Workshop on Feature-Oriented Software Development of FOSD '16
Publisher: ACM,
2016
ISBN: 978-1-4503-0208-1
accepted
Sascha Lity, Matthias Kowal and Ina Schaefer
Higher-Order Delta Modeling for Software Product Line Evolution
Proceedings of the International Workshop on Feature-Oriented Software Development of FOSD '16
Publisher: ACM,
2016
ISBN: 978-1-4503-0208-1
accepted
Johannes Bürdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter and Andy Schürr
Reasoning about product-line evolution using complex feature model differences
Automated Software Engineering, :1-47 (online first)
October 2015
ISSN: 0928-8910
Malte Lochau, Stephan Mennicke, Hauke Baller and Lars Ribbeck
Incremental model checking of delta-oriented software product lines
Journal of Logical and Algebraic Methods in Programming, online first
September 2015
ISSN: 2352-2208
Malte Lochau, Johannes Bürdek, Stefan Hölzle and Andy Schürr
Specification and Automated Validation of Staged Reconfiguration Processes for Dynamic Software Product Lines
Journal of Software and Systems Modeling,
2015
accepted
Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich and Gunter Saake
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems of VaMoS '15 , page 80:80--80:87.
Publisher: ACM, New York, NY, USA
2015
ISBN: 978-1-4503-3273-6
Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel and Dirk Beyer
Facilitating Reuse in Multi-Goal Test-Suite Generation for Software Product Lines
FASE
Publisher: Springer,
2015
Sascha Lity, Johannes Bürdek, Malte Lochau, Markus Berens, Andy Schürr and Ina Schaefer
Re-Engineering Automation Systems as Dynamic Software Product Lines
11th Dagstuhl-Workshop Model-Based Development of Embedded Systems, MBEES '15, March 22-25, 2015
2015
Sascha Lity, Hauke Baller and Ina Schaefer
Towards Incremental Model Slicing for Delta-oriented Software Product Lines
22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER '15, Montreal, Canada, March 2-6, 2015
2015
Remo Lachmann, Sascha Lity, Sabrina Lischke, Simon Beddig, Sandro Schulze and Ina Schaefer
Delta-oriented Test Case Prioritization for Integration Testing of Software Product Lines
Proceedings of the 19th International Conference on Software Product Line of SPLC '15 , page 81--90.
Publisher: ACM, New York, NY, USA
2015
ISBN: 978-1-4503-3613-0
B. Vogel-Heuser, S. Feldmann, J. Folmer, J. Ladiges, A. Fay, S. Lity, M. Tichy, M. Kowal, I. Schaefer, C. Haubeck, W. Lamersdorf, T. Kehrer, S. Getir, M. Ulbrich, V. Klebanov and B. Beckert
Selected challenges of software evolution for automated production systems
2015 IEEE 13th International Conference on Industrial Informatics (INDIN) , page 314-321.
2015
J. Ladiges, A. Fay, C. Haubeck, W. Lamersdorf, S. Lity and I. Schaefer
Supporting commissioning of production plants by model-based testing and model learning
2015 IEEE 24th International Symposium on Industrial Electronics (ISIE) , page 606-611.
2015
Lars Luthmann, Stephan Mennicke and Malte Lochau
Towards an I/O Conformance Testing Theory of Software Product Lines based on Modal Interface Automata
Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering, London, UK
2015
Malte Lochau, Johannes Bürdek, Sascha Lity, Matthias Hagner, Christoph Legat, Ursula Goltz and Andy Schürr
Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain
Automatisierungstechnik, 62(11):771--780
2014
Malte Lochau, Sascha Lity, Remo Lachmann, Ina Schaefer and Ursula Goltz
Delta-oriented model-based integration testing of large-scale systems
Journal of Systems and Software, 91(0):63 - 84
2014
ISSN: 0164-1212
Malte Lochau, Sven Peldszus, Matthias Kowal and Ina Schaefer
Model-Based Testing
In Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, EinarBroch Johnsen and Ina Schaefer, editor, Formal Methods for Executable Software Models Volume 8483 of Lecture Notes in Computer Science
page 310-342.
Publisher: Springer International Publishing,
2014
ISBN: 978-3-319-07316-3
Mustafa Al-Hajjaji, Thomas Thüm, Jens Meinicke, Malte Lochau and Gunter Saake
Similarity-based Prioritization in Software Product-Line Testing
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014 , page 197--206.
2014
Hauke Baller and Malte Lochau
Towards Incremental Test Suite Optimization for Software Product Lines
Sixth International Workshop on Feature-Oriented Software Development, FOSD '14, Västerås, Sweden, September 14, 2014 , page 30--36.
2014
Stephan Mennicke, Malte Lochau, Julia Schroeter and Tim Winkelmann
Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014 , page 62-71.
2014
Malte Lochau, Stephan Mennicke, Hauke Baller and Lars Ribbeck
DeltaCCS: A Core Calculus for Behavioral Change
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I , page 320--335.
2014
Hauke Baller, Sascha Lity, Malte Lochau and Ina Schaefer
Multi-Objective Test Suite Optimization for Incremental Product Family Testing
7th IEEE International Conference on Software Testing, Verification and Validation of International Conference on Software Testing, Verification and Validation (ICST)
Publisher: IEEE Computer Society Press, Los Alamitos
2014
Karsten Saller, Malte Lochau and Ingo Reimund
Context-aware DSPLs: Model-based Runtime Adaptation for Resource-constrained Systems
Proceedings of the 17th International Software Product Line Conference Co-located Workshops of SPLC '13 Workshops , page 106--113.
Publisher: ACM, New York, NY, USA
2013
ISBN: 978-1-4503-2325-3
Sascha Lity, Remo Lachmann, Malte Lochau, Michael Dukaczewski and Ina Schaefer
Delta-orientiertes Testen von variantenreichen Systemen
OBJEKTspektrum Online Themenspecial Testing
Publisher: Sigis Datacom GmbH,
2013
Michael Dukaczewski, Ina Schaefer, Remo Lachmann and Malte Lochau
Requirements-Based Delta-Oriented SPL Testing
4th International Workshop on Product Line Approaches in Software Engineering (PLEASE), 2013 , page 49-52.
2013
Johannes Bürdek, Sascha Lity, Malte Lochau, Markus Berens, Ursula Goltz and Andy Schürr
Staged Configuration of Dynamic Software Product Lines with Complex Binding Time Constraints
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems of VaMoS '14 , page 16:1--16:8.
Publisher: ACM, New York, NY, USA
2013
ISBN: 978-1-4503-2556-1
Total:
32



Previous Project-related Publications

A. Anjorin, S. Oster, I. Zorcic and A. Schürr
Optimizing Model-Based Software Product Line Testing with Graph Transformations.
ECEASST,
2012
M. Lochau, I. Schaefer, J. Kamischke and S. Lity
Incremental Model-Based Testing of Delta-Oriented Software Product Lines
In A. Brucker and J. Julliand, editor, Tests and Proofs Volume 7305 of Lecture Notes in Computer Science
page 67-82.
Publisher: Springer Berlin / Heidelberg,
2012
J. Schroeter, M. Lochau and T. Winkelmann
Multi-perspectives on Feature Models
In R. France, J. Kazmeier, R. Breu and C. Atkinson, editor, Model Driven Engineering Languages and Systems Volume 7590 of Lecture Notes in Computer Science
page 252-268.
Publisher: Springer Berlin / Heidelberg,
2012
M. Lochau and J. Kamischke
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines
In T. Margaria and B. Steffen, editor, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Volume 7609 of Lecture Notes in Computer Science
page 223-237.
Publisher: Springer Berlin / Heidelberg,
2012
S. Lity, M. Lochau, I. Schaefer and U. Goltz
Delta-oriented model-based SPL regression testing
3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE), 2012 , page 53 -56.
2012
H. Cichos, M. Lochau, S. Oster and A. Schürr
Reduktion von Testsuiten für Software-Produktlinien.
In S. Jähnichen, A Küpper and S Albayrak, editor, Software Engineering Volume 198 of LNI , page 143-154.
Publisher: GI,
2012
M. Lochau, S. Oster, U. Goltz and A. Schürr
Model-based Pairwise Testing for Feature Interaction Coverage in Software Product Line Engineering
Software Quality Journal - Special issue on Quality Engineering for Software Product Lines,
2011
J. Steiner, U. Goltz and J. Maaß
Self-Management within a Software Architecture for Parallel Kinematic Machines
Robotic Systems for Handling and Assembly, :355--371
2011
S. Oster, A. Wübbeke, G. Engels and A. Schürr
Model-Based Software Product Lines Testing Survey
In J. Zander, I. Schieferdecker and P. Mosterman, editor, Model-based Testing for Embedded Systems
Publisher: CRC Press/Taylor&Francis,
2011
H. Cichos and T. Heinze
Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases
In J. Dingel and A. Solberg, editor, Models in Software Engineering - Workshops and Symposia at MODELS 2010 Volume 6627 of LNCS , page 244-258.
2011
H. Cichos, S. Oster, M. Lochau and A. Schürr
Model-based Coverage-Driven Test Suite Generation for Software Product Lines
Proc. of MoDELS'2011 Volume 6981 of LNCS , page 425-439.
Publisher: Springer,
2011
S. Oster, M. Lochau, M. Zink and M. Grechanik
Pairwise Feature-Interaction Testing for SPLs: Potentials and Limitations
Proc. of Workshop on FOSD
2011
M. Lochau and U. Goltz
Feature Interaction Aware Test Case Generation for Embedded Control Systems
Electronic Notes in Theoretical Computer Science, (3):37 - 52
2010
S. Rose, M. Lauder, M. Schlereth and A. Schürr
A Multidimensional Approach for Concurrent Model Driven Automation Engineering
of Model-Driven Domain Analysis and Software Development: Architectures and Functions
page 90-113.
Publisher: IGI Publishing,
2010
K. Schmid, H. Eichelberger, U. Goltz and M. Lochau
Evolving Adaptable Systems: Potential and Challenges
Workshop Design For Future
2010