Testing isn't an effective way to catch most race conditions. Code reviews, static analysis, and rigorous enforcement of concurrent coding standards is usually a better approach.
Perhaps something like what TigerBeetle does: deterministic simulation testing.
Perhaps something like what TigerBeetle does: deterministic simulation testing.