Description

Madan Musuvathi and
Sebastian Burckhardt, two Researchers at the Research in Software Engineering team (RiSE), explain and demo a new testing tool called
Cuzz. As you will see in this video, Cuzz stands for "Concurrency fuzzing."

Cuzz is a very effective tool for finding concurrency bugs. Cuzz works on unmodified Win32 executables and is designed for maximizing concurrency coverage for your existing (unmodified) tests. It randomizes the thread schedules in a systematic and disciplined
way, using an algorithm that provides probabilistic coverage guarantees.