Natalia Kushik, Nina Yevtushenko 0001, Jorge López. Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. In Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi, 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 237-243, Springer, 2023. [doi]
Abstract is missing.