Publications
editors, Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, volume 14131 of Lecture Notes in Computer Science, pages [...] Notes in Computer Science, pages 286–307. Springer, 2022. doi: 10.1007/978-3-031-19762-8_22 Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, and Robert Sachtleben. libfsmtest an open source library for fsm-based [...] Pietschker, editors, Test, Analyse und Verifikation von Software – gestern, heute, morgen, pages 81–92, Heidelberg, 2017. dpunkt.verlag 2016 Wen-ling Huang and Jan Peleska. Complete model-based equivalence class