Publications
September 18-20, 2023, Proceedings, volume 14131 of Lecture Notes in Computer Science, pages 183–201. Springer, 2023. doi: 10.1007/ 978-3-031-43240-8_12 Wen-ling Huang, NiklasKrafczyk, and Jan Peleska [...] Publications Peer Reviewed Publications 2024 Wen-ling Huang, NiklasKrafczyk, and Jan Peleska. Exhaustive property oriented modelbased testing with symbolic finite state machines. Science of Computer P [...] https://doi.org/10.1007/978-3-031-40132-9_4 Felix Brüning, Mario Gleirscher, Wen-ling Huang, NiklasKrafczyk, Jan Peleska, and Robert Sachtleben. Complete property-oriented module testing. In Silvia Bonfanti