A Guided Search for Races Based on Data Flow Patterns. - Andreas Neubaum; Loui Al Sardy; Marc Spisländer; Francesca Saglietti; Sara Kretschmer (SAFECOMP Workshops, 2022)