Enhanced S2E to Trigger Races in Multithreaded Applications. - Kutovoi, E. A.; Niskov, F. V.; Kurmangaleev, Sh. F. (Programming & Computer Software, 2026)