Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz

EDN Admin

Well-known member
Joined
Aug 7, 2010
Messages
12,794
Location
In the Machine
[Broken External Image]:http://ecn.channel9.msdn.com/o9/ch9/6/5/2/1/6/5/cuzz_85_ch9.pngMadan 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 Microsofts research in Software Engineering in Redmond, USA.

[Broken External Image]:http://channel9.msdn.com/561256/WebViewBug.aspx?EVT=0

More...
 
Back
Top