Publications

Found 3 results
Filters: Autor is Lars Luthmann  [Clear All Filters]
2020
L. Luthmann, Göttmann, H., und Lochau, M., Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata, in International Conference on Formal Spects of Component Software, 2020.
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, 2019.
2018
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 International Conference on Generative Programming: Concepts & Experiences, 2018.