Concurrency Fuzzing with Cuzz Microsoft Research Tool - Webcast

Madan Musuvathi and Sebastian Burckhardt, Researchers at Research in Software Engineering team (RiSE), explain and demo a new testing tool called "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. […]

Madan Musuvathi and Sebastian Burckhardt, Researchers at Research in Software Engineering team (RiSE), explain and demo a new testing tool called "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."