Enhanced S2E to Trigger Races in Multithreaded Applications. - Egor A. Kutovoi; Fedor V. Niskov; Shamil F. Kurmangaleev (Program. Comput. Softw., 2026)