|
| [44] | Applying Higher-Order Delta Modeling for the Evolution of Delta-Oriented Software Product Lines (Sophia Nahrendorf, Sascha Lity, Ina Schaefer), Technical report 2018-01, TU Braunschweig - Institute of Software Engineering and Automotive Informatics, 2018. |
| [43] | 175% Modeling for Product-Line Evolution of Domain Artifacts (Lity, Sascha, Nahrendorf, Sophia, Thüm, Thomas, Seidl, Christoph and Schaefer, Ina), In Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, ACM, 2018. |
| [42] | Equivalent Mutants in Configurable Systems: An Empirical Study (Carvalho, Luiz, Guimarães, Marcio Augusto, Ribeiro, Márcio, Fernandes, Leonardo, Al-Hajjaji, Mustafa, Gheyi, Rohit and Thüm, Thomas), In Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, ACM, 2018. |
|
| [41] | Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing (M. Al-Hajjaji, S. Lity, R. Lachmann, T. Thüm, I. Schaefer and G. Saake), In 2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE), 2017. |
| [40] | Specification and automated validation of staged reconfiguration processes for dynamic software product lines (Lochau, Malte, Bürdek, Johannes, Hölzle, Stefan and Schürr, Andy), In Software and Systems Modeling, volume 16, 2017. |
| [39] | Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-line Analysis (Lity, Sascha, Al-Hajjaji, Mustafa, Thüm, Thomas and Schaefer, Ina), In Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, ACM, 2017. |
| [38] | Risk-based Integration Testing of Software Product Lines (Lachmann, Remo, Beddig, Simon, Lity, Sascha, Schulze, Sandro and Schaefer, Ina), In Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, ACM, 2017. |
| [37] | Mastering Software Variability with FeatureIDE (Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Thomas Leich and Gunter Saake), Springer, 2017. |
| [36] | Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints (Lars Luthmann, Andreas Stephan, Johannes Bürdek and Malte Lochau), In Proceedings of the 21st International Systems and Software Product Line Conference, 2017. |
|
| [35] | Effective product-line testing using similarity-based product prioritization (Al-Hajjaji, Mustafa and Thüm, Thomas and Lochau, Malte and Meinicke, Jens and Saake, Gunter), In Software & Systems Modeling, 2016. |
| [34] | Reasoning about product-line evolution using complex feature model differences (Bürdek, Johannes, Kehrer, Timo, Lochau, Malte, Reuling, Dennis, Kelter, Udo and Schürr, Andy), In Automated Software Engineering, Springer US, volume 23, 2016. |
| [33] | Incremental model checking of delta-oriented software product lines (Lochau, Malte, Mennicke, Stephan, Baller, Hauke and Ribbeck, Lars), In Journal of Logical and Algebraic Methods in Programming, volume 85, 2016. |
| [32] | Higher-order Delta Modeling for Software Product Line Evolution (Lity, Sascha, Kowal, Matthias and Schaefer, Ina), In Proceedings of the 7th International Workshop on Feature-Oriented Software Development, ACM, 2016. |
| [31] | Applying incremental model slicing to product-line regression testing (Lity, Sascha, Morbach, Thomas, Thüm, Thomas and Schaefer, Ina), Chapter in (Kapitsaki M. Georgiaand Santana de Almeida, Eduardo, ed.), Springer International Publishing, volume 9679, 2016. |
| [30] | Fine-grained Test Case Prioritization for Integration Testing of Delta-oriented Software Product Lines (Lachmann, Remo, Lity, Sascha, Al-Hajjaji, Mustafa, Fürchtegott, Franz and Schaefer, Ina), In Proceedings of the 7th International Workshop on Feature-Oriented Software Development, ACM, 2016. |
| [29] | Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing – Technical Report (Lars Luthmann, Stephan Mennicke and Malte Lochau), In CoRR, volume abs/1606.09035, 2016. |
| [28] | Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation (Deckwerth, Frederik, Kulcsár, Géza, Lochau, Malte, Varró, Gergely and Schürr, Andy), In Electronic Proceedings in Theoretical Computer Science, volume 206, 2016. |
| [27] | CardyGAn: Tool Support for Cardinality-based Feature Models (Schnabel, Thomas, Weckesser, Markus, Kluge, Roland, Lochau, Malte and Schürr, Andy), In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16, 2016. |
| [26] | Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching (Sven Peldszus, Géza Kulcsár, Malte Lochau and Sandro Schulze), In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016. |
| [25] | Mind the gap! automated anomaly detection for potentially unbounded cardinality-based feature models (Weckesser, Markus, Lochau, Malte, Schnabel, Thomas, Richerzhagen, Björn and Schürr, Andy), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9633, 2016. |
| [24] | Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing (Lars Luthmann, Stephan Mennicke and Malte Lochau), In 13th International Conference on Formal Aspects of Component Software, 2016. |
| [23] | IncLing: efficient product-line testing using incremental pairwise sampling (Al-Hajjaji, Mustafa, Krieter, Sebastian, Thüm, Thomas, Lochau, Malte and Saake, Gunter), In Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2016, ACM, 2016. |
|
| [22] | Selected challenges of software evolution for automated production systems (Vogel-Heuser, B., Feldmann, S., Folmer, J., Ladiges, J., Fay, A., Lity, S., Tichy, M., Kowal, M., Schaefer, I., Haubeck, C., Lamersdorf, W., Kehrer, T., Getir, S., Ulbrich, M., Klebanov, V. and Beckert, B.), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, 2015. |
| [21] | Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata (Luthmann, Lars, Mennicke, Stephan and Lochau, Malte), In Electronic Proceedings in Theoretical Computer Science, volume 182, 2015. |
| [20] | Re-Engineering Automation Systems as Dynamic Software Product Lines (Lity, Sascha, Bürdek, Johannes, Lochau, Malte, Berens, Markus, Schürr, Andy and Schaefer, Ina), In Mbees, 2015. |
| [19] | Towards incremental model slicing for delta-oriented software product lines (Lity, Sascha, Baller, Hauke and Schaefer, Ina), In 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - Proceedings, 2015. |
| [18] | Supporting commissioning of production plants by model-based testing and model learning (Ladiges, Jan, Fay, Alexander, Haubeck, Christopher, Lamersdorf, Winfried, Lity, Sascha and Schaefer, Ina), In IEEE International Symposium on Industrial Electronics, volume 2015-September, 2015. |
| [17] | Delta-oriented test case prioritization for integration testing of software product lines (Lachmann, Remo, Lity, Sascha, Lischke, Sabrina, Beddig, Simon, Schulze, Sandro and Schaefer, Ina), In Proceedings of the 19th International Conference on Software Product Line - SPLC '15, ACM, 2015. |
| [16] | Fault-based product-line testing: effective sample generation based on feature-diagram mutation (Dennis Reuling, Johannes Bürdek, Serge Rotärmel, Malte Lochau and Udo Kelter), In Proceedings of the 19th International Conference on Software Product Line, 2015. |
| [15] | Facilitating reuse in multi-goal test-suite generation for software product lines (Bürdek, Johannes, Lochau, Malte, Bauregger, Stefan, Holzer, Andreas, von Rhein, Alexander, Apel, Sven and Beyer, Dirk), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, volume 9033, 2015. |
| [14] | A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines (Benduhn, Fabian, Thüm, Thomas, Lochau, Malte, Leich, Thomas and Saake, Gunter), In Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '15, ACM, 2015. |
|
| [13] | Multi-objective test suite optimization for incremental product family testing (Baller, Hauke, Lity, Sascha, Lochau, Malte and Schaefer, Ina), In Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation, ICST 2014, IEEE Computer Society Press, 2014. |
| [12] | Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets (Lochau, Malte, Schroeter, Julia, Mennicke, Stephan and Winkelmann, Tim), In Proc. of the SPLC'14, 2014. |
| [11] | Delta-oriented model-based integration testing of large-scale systems (Lochau, Malte, Lity, Sascha, Lachmann, Remo, Schaefer, Ina and Goltz, Ursula), In Journal of Systems and Software, volume 91, 2014. |
| [10] | DeltaCCS: A core calculus for behavioral change (Lochau, M, Mennicke, S, Baller, H and Ribbeck, L), In 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, volume 8802, 2014. |
| [9] | Model-based testing (Lochau, Malte, Peldszus, Sven, Kowal, Matthias and Schaefer, Ina), Chapter in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Bernardo, Marco, Damiani, Ferruccio, Hähnle, Reiner, Johnsen, EinarBroch, Schaefer, Ina, eds.), Springer International Publishing, volume 8483 LNCS, 2014. |
| [8] | Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain (Lochau, Malte, Bürdek, Johannes, Lity, Sascha, Hagner, Matthias, Legat, Christoph, Goltz, Ursula and Schürr, Andy), In at - Automatisierungstechnik, volume 62, 2014. |
| [7] | Towards incremental test suite optimization for software product lines (Baller, Hauke and Lochau, Malte), In Proceedings of the 6th International Workshop on Feature-Oriented Software Development - FOSD '14, 2014. |
| [6] | Similarity-based prioritization in software product-line testing (Al-Hajjaji, Mustafa, Thüm, Thomas, Meinicke, Jens, Lochau, Malte and Saake, Gunter), In Proceedings of the 18th International Software Product Line Conference on - SPLC '14, 2014. |
|
| [5] | Context-aware DSPLs (Saller, Karsten, Lochau, Malte and Reimund, Ingo), In Proceedings of the 17th International Software Product Line Conference co-located workshops on - SPLC '13 Workshops, ACM, 2013. |
| [4] | Requirements-based delta-oriented SPL testing (Dukaczewski, Michael, Schaefer, Ina, Lachmann, Remo and Lochau, Malte), In 2013 4th International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2013 - Proceedings, 2013. |
| [3] | Staged configuration of dynamic software product lines with complex binding time constraints (Bürdek, Johannes, Lity, Sascha, Lochau, Malte, Berens, Markus, Goltz, Ursula and Schürr, Andy), In Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems - VaMoS '14, ACM, 2013. |
|
| [2] | Delta-orientiertes Testen von variantenreichen Systemen (Lity, Sascha, Dukaczewski, Michael and Schaefer, Ina), In OBJEKTspektrum Online Themenspecial Testing, Sigis Datacom GmbH, 2012. |
|
| [1] | Pure delta-oriented programming (Schaefer, Ina and Damiani, Ferruccio), In Proceedings of the 2nd International Workshop on Feature-Oriented Software Development - FOSD '10, ACM, 2010. |