Papers
Some representative publications from our group in this area:
- 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. Garhewal, C.D. Nascimento Damasceno. An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning. MODELS 2023: 217-227.
- L. Kruger, B. Garhewal and F.W. Vaandrager. Lower Bounds for Active Automata Learning. In Proceedings 16h International Conference on Grammatical Inference (ICGI 2023), July 10-13, 2023, Rabat, Morocco.
- 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.
- Jasper, M. et al. (2019). RERS 2019: Combining Synthesis with Real-World Models. In: Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Lecture Notes in Computer Science(), vol 11429. Springer, Cham.
- F.W. Vaandrager. Model learning. Communications of the ACM 60(2): 86-95. February 2017.
- P. Fiterau-Brostean, R. Janssen and F.W. Vaandrager. Combining Model Learning and Model Checking to Analyze TCP Implementations. In S. Chaudhuri and A. Farzan, editors. Proceedings Computer Aided Verification - 28th International Conference (CAV 2016), Part II, Toronto, ON, Canada, July 17-23, 2016. LNCS 9780, pp. 454-471, Springer, 2016.
- 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.
