Concurrency bug detection is a critical area in the development of multithreaded programmes, where errors arising from simultaneous thread execution can lead to unpredictable and often catastrophic ...