@misc{indiciae399b1313e752,
  title = {Black-Box Bug-Amplification for Multithreaded Software},
  author = {Yeshayahu Weiss and Gal Amram and Achiya Elyasaf and Eitan Farchi and Oded Margalit and Gera Weiss},
  year = {2025},
  doi = {10.3390/math13182921},
  url = {https://arxiv.org/abs/2507.21318},
  note = {Source identifier: 2507.21318}
}