Publications
2022 Robert Sachtleben and JanPeleska. Effective grey-box testing with partial FSM models. Softw. Test. Verification Reliab., 32(2), 2022. doi: 10.1002/stvr.1806 JanPeleska, Anne E. Haxthausen, and Thierry [...] and JanPeleska. Safety-complete test suites. Software Quality Journal, 27(2):589–613, 2019. doi: 10.1007/s11219-018-9421-y Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, and JanPeleska. A mechanised [...] Wen-ling Huang and JanPeleska. Complete model-based equivalence class testing. Software Tools for Technology Transfer, 18(3):265–283, 2016. doi: 10.1007/s10009-014-0356-8 JanPeleska and Wen-ling Huang