As a requirement of my Algorithmic Software Verification course, I prepared a presentation of Koushik Sen‘s paper “Race Directed Random Testing of Concurrent Programs“. The paper is basically introducing RaceFuzzer, an algorithm for determining real …