@misc{indiciaed9ae30da40f6,
  title = {Model-based Testing of Practical Distributed Systems in Actor Model},
  author = {Ilya Kokorin and Evgeny Chernatskiy and Vitaly Aksenov},
  year = {2025},
  url = {https://arxiv.org/abs/2512.08698},
  note = {Source identifier: 2512.08698}
}