@misc{indiciaef5a50a0cb3b6,
  title = {A Unifying Approach to Probabilistic Testing Equivalences},
  author = {Weijun Chen and Yuxi Fu and Huan Long and Hao Wu},
  year = {2026},
  doi = {10.1016/j.tcs.2026.115928},
  url = {https://arxiv.org/abs/2507.19886},
  note = {Source identifier: 2507.19886}
}