Many security vulnerabilities stem from race conditions, which occur when multi-threaded executions interleave in specific ways. These bugs only trigger negative effects under precise timing conditions. Consequently, testing for race conditions remains a notoriously difficult challenge for software developers.