Papers
Some representative publications from our group in this area:
- Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk: The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. 24(4): 589-610 (2022)
- Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler: The complexity of reachability in parametric Markov decision processes. J. Comput. Syst. Sci. 119: 183-210 (2021)
- Wan Fokkink, Martijn Goorden, Dennis Hendriks, et al.: Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit TACAS. 44-52 (2023)
- L. Kruger, S. Junges, J. Rot. Small Test Suites for Active Automata Learning. TACAS 2024.
- G. van Cuyck, L. van Arragon, J. Tretmans. Compositionality in Model-Based Testing. ICTSS 2023: 202-218.
- B. Hooimeijer et al. Constructive Model Inference: Model Learning for Component-based Software Architectures. ICSOFT 2022: 146-158.
- F.W. Vaandrager, B. Garhewal, J. Rot, and T. Wissmann. A New Approach for Active Automata Learning Based on Apartness. In: Fisman, D., Rosu, G. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022. Lecture Notes in Computer Science, vol 13243. Springer, Cham., 2022.
- F.W. Vaandrager. Model learning. Communications of the ACM 60(2): 86-95. February 2017.
- C. Kupke, J. Rot. Expressive Logics for Coinductive Predicates. Logical Methods in Computer Science, special issue CSL 2020. Volume 3, issue 3.
- Tretmans, J. (2008). Model Based Testing with Labelled Transition Systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds) Formal Methods and Testing. Lecture Notes in Computer Science, vol 4949. Springer, Berlin, Heidelberg.
- D. Neider, R. Smetsers, F.W. Vaandrager, and H. Kuppens. Benchmarks for Automata Learning and Conformance Testing. In T. Margaria, K.G. Larsen and S. Graf, editors. Models, Mindsets, Meta: The What, the How, and the Why Not? LNCS 11200, pp 390-416, Springer, Cham, 2019, DOI: 10.1007/978-3-030-22348-9_23.
