Model-Based Testing of Non-deterministic Systems. - Alexander Onofrei; Marc Frappier; Émilie Bernard (ABZ, 2025)