An automated framework to support testing for process-level race conditions. - Tingting Yu 001; Witty Srisa-an; Gregg Rothermel (Softw. Test. Verification Reliab., 2017)