A Guided Search for Races Based on Data Flow Patterns.

Andreas Neubaum, Loui Al Sardy, Marc Spislnder, Francesca Saglietti, Sara Kretschmer

Browse the full SAFECOMP paper archive.