Publications
231: 103005, 2024. ISSN 0167-6423. doi: https://doi.org/10.1016/j.scico.2023.103005 . 2023 Jan Peleska, Felix Brüning, Mario Gleirscher, and Wen-ling Huang. A Stochastic Approach to Classification Error [...] 14165. Springer, Cham. https://doi.org/10.1007/978-3-031-40132-9_4 Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, and Robert Sachtleben. Complete property-oriented module [...] 102930 2022 Robert Sachtleben and Jan Peleska. Effective grey-box testing with partial FSM models. Softw. Test. Verification Reliab., 32(2), 2022. doi: 10.1002/stvr.1806 Jan Peleska, Anne E. Haxthausen, and