External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs

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]

Authors

Natalia Kushik

This author has not been identified. Look up 'Natalia Kushik' in Google

Nina Yevtushenko 0001

This author has not been identified. Look up 'Nina Yevtushenko 0001' in Google

Jorge López

This author has not been identified. Look up 'Jorge López' in Google
runs on