Publications

Found 17 results
Filters: Autor is Malte Lochau  [Clear All Filters]
2022
S. Ruland und Lochau, M., „On the Interaction between Test-Suite Reduction and Regression-Test Selection Strategies“, ArXiv E-Print 2207.12733: https://doi.org/10.48550/arXiv.2207.12733. ArXiv, S. 1-39, 2022.
2020
L. Luthmann, Göttmann, H., und Lochau, M., „Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata“, in Proceedings of the 16th International Conference on Formal Aspects of Component Software (FACS), 2020, S. 147-169.
S. Ruland, Lochau, M., Fehse, O., und Schürr, A., „CPA/Tiger-MGP: Test-Goal Set Partitioning for Efficient Multi-goal Test-suite Generation“, International Journal on Software Tools for Technology Transfer, Bd. 23, S. 853-856, 2020.
S. Ruland, Lochau, M., und Jakobs, M. - C., „HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)“, in Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering (FASE), 2020, S. 520-524.
D. Reuling, Kelter, U., Bürdek, J., und Lochau, M., „On Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software“, in Proceedings of Software Engineering (SE), 2020, S. 55-56.
S. Ruland, Kulcsár, G., Leblebici, E., Peldszus, S., und Lochau, M., „On Controlling the Attack Surface of Object-Oriented Refactorings“, in Proceedings of Software Engineering (SE), 2020, S. 89-90.
M. Lochau, Luthmann, L., Göttmann, H., und Bacher, I., „Parametric Timed Bisimulation“, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, S. 55-71.
H. Göttmann, Luthmann, L., Lochau, M., und Schürr, A., „Real-Time Aware Reconfiguration Decisions for Dynamic Software Product Lines“, in Proceedings of the 24th ACM Conference on Systems and Software Product Line (SPLC), 2020, S. 1-11.
J. Soldani, Luthmann, L., Lochau, M., und Brogi, A., „Testing Conformance in Multi-component Enterprise Application Management“, in Proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC), 2020, S. 3-18.
V. Kutscher, Ruland, S., Müller, P., Wasser, N., Lochau, M., Anderl, R., Schürr, A., Mezini, M., und Hähnle, R., „Towards a Circular Economy of Industrial Software“, in Proceedings of the 27th CIRP Life Cycle Engineering Conference (LCE), 2020, S. 37-42.
2019
D. Reuling, Kelter, U., Bürdek, J., und Lochau, M., „Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software“, ACM Transactions on Software Engineering and Methodology, Bd. 28, Nr. 3, S. 13:1-13:59, 2019.
D. Reuling, Lochau, M., und Kelter, U., „From Imprecise N-Way Model Matching to Precise N-Way Model Merging“, Journal of Object Technology, Bd. 18, Nr. 2, S. 1-20, 2019.
L. Luthmann, Gerecht, T., und Lochau, M., „Sampling Strategies for Product Lines with Unbounded Parametric Real-time Constraints“, International Journal on Software Tools for Technology Transfer, Bd. 21, Nr. 6, S. 613-633, 2019.
D. Reuling, Kelter, U., Ruland, S., und Lochau, M., „SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software“, in Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, S. 1134-1137.
2018
S. Ruland, Kulcsár, G., Leblebici, E., Peldszus, S., und Lochau, M., „Controlling the Attack Surface of Object-Oriented Refactorings“, in Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE), 2018, S. 38-55.
M. Weckesser, Lochau, M., Ries, M., und Schürr, A., „Mathematical Programming for Anomaly Analysis of Clafer Models“, in Proceedings of the 21th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2018, S. 34-44.
S. Ruland, Luthmann, L., Bürdek, J., Lity, S., Thüm, T., Lochau, M., und Ribeiro, M., „Measuring Effectiveness of Sample-Based Product-Line Testing“, in Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE), 2018, S. 119-133.