TY  - RPRT
TI  - Black-Box Bug-Amplification for Multithreaded Software
AU  - Yeshayahu Weiss
AU  - Gal Amram
AU  - Achiya Elyasaf
AU  - Eitan Farchi
AU  - Oded Margalit
AU  - Gera Weiss
PY  - 2025
DO  - 10.3390/math13182921
UR  - https://arxiv.org/abs/2507.21318
ID  - 2507.21318
ER  -