Publications
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 [...] Özoguz, and Jan Peleska. 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 Jan Peleska. A [...] 2016 Wen-ling Huang and Jan Peleska. Complete model-based equivalence class testing. Software Tools for Technology Transfer, 18(3):265–283, 2016. doi: 10.1007/s10009-014-0356-8 Jan Peleska and Wen-ling Huang