Detecting Data Races in Sequential Programs with DIOTA.

Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere

Browse the full EuroPar paper archive.