Race directed random testing of concurrent programs.

Koushik Sen

Browse the full PLDI paper archive.