Comment Feed for Channel 9 - Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz http://ecn.channel9.msdn.com/o9/previewImages/100/561256_100x75.jpg Channel 9 - Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz 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. en Sun, 19 May 2013 10:07:04 GMT Sun, 19 May 2013 10:07:04 GMT Rev9 Re: Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz ah you tease !

 

i've seen this demo before and i was disappointed when i saw it was not available for download

and it's still not available for download !!

So i ask this why the h*** tease and show this without giving the devs some binaries/src to download and play with ?
( it's like half a b-job )

posted by Mr Crash

]]> http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz#c634149666930000000 Sat, 17 Jul 2010 12:31:33 GMT http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz#c634149666930000000 Mr Crash Re: Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz How is this different to Chess?

http://research.microsoft.com/en-us/projects/chess/

 

posted by AdamSpeight2008

]]> http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz#c634150134580000000 Sun, 18 Jul 2010 01:30:58 GMT http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz#c634150134580000000 AdamSpeight2008 Re: Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz Does Chess work with VS 2010 Ultimate??

posted by LukePuplett

]]> http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz#c634152198560000000 Tue, 20 Jul 2010 10:50:56 GMT http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz#c634152198560000000 LukePuplett Re: Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz If you follow the Cuzz link, it will take you to http://research.microsoft.com/en-us/projects/cuzz/

 

On that page, there's a link that doesn't work: http://codebox/cuzz

posted by Ben C

]]> http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz#c634152592440000000 Tue, 20 Jul 2010 21:47:24 GMT http://channel9.msdn.com/Blogs/Peli/Concurrency-Fuzzing-with-Cuzz#c634152592440000000 Ben C