Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz

Sign in to queue

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.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Embed

Download

Download this episode

The Discussion

Comments closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to send us feedback you can Contact Us.