Sign In
CHESS: Find and Reproduce Concurrency Heisenbugs
This blog contains articles about CHESS, a tool from Microsoft Research. For more details visit http://research.microsoft.com/chess
Translate This Page
Translate this page
Powered by
Microsoft® Translator
Options
Email Blog Author
RSS for posts
Atom
RSS for comments
OK
Search
Advanced search options...
Search In:
Everything
Blogs
Forums
People
Groups
Places
Pages
Date range:
All Time
Last Year
Last 6 Months
Last 3 Months
Last Month
Last Week
Last Two Days
Tags
No tags have been created or used yet.
Archive
Archives
June 2009
(1)
February 2009
(2)
January 2009
(3)
MSDN Blogs
>
CHESS: Find and Reproduce Concurrency Heisenbugs
Posts
Subscribe via RSS
Sort by:
Most Recent
|
Most Views
|
Most Comments
Excerpt View
|
Full Post View
CHESS: Find and Reproduce Concurrency Heisenbugs
CHESS release v0.1.30610.2: Data Race Detection, ChessBoard, Refinement Checking
Posted
over 3 years ago
by
CHESS Tool
3
Comments
The CHESS team is happy to announce a new release of CHESS , which includes a whole bunch of new features for concurrency testing of managed code and fixes for bugs reported on the CHESS MSDN forum ( see the Channel 9 movie ). Major features in this release...
CHESS: Find and Reproduce Concurrency Heisenbugs
Getting the most out of CHESS
Posted
over 3 years ago
by
CHESS Tool
1
Comments
Hi, this is Shaz Qadeer from the CHESS team. If you have visited our blog before, you have probably read our articles about systematic concurrency testing using CHESS, design of the CHESS scheduler, and the advantages of CHESS testing over stress testing...
CHESS: Find and Reproduce Concurrency Heisenbugs
Stress vs. CHESS
Posted
over 3 years ago
by
CHESS Tool
2
Comments
Hey there... it's time for another post. My name is Sebastian Burckhardt, I am a member of the CHESS team, and I want to tell you about some experiments I ran today. The question that interests me here is how does CHESS compare to stress testing ? First...
CHESS: Find and Reproduce Concurrency Heisenbugs
The CHESS scheduler – the key to finding concurrency bugs
Posted
over 3 years ago
by
CHESS Tool
1
Comments
Hey everyone, I am Madan Musuvathi , the architect of CHESS. In this blog, I will describe the CHESS scheduler, a key component of CHESS. Before I start, if you haven’t seen Tom’s previous post about the CHESS Devlabs release, you should. Download CHESS...
CHESS: Find and Reproduce Concurrency Heisenbugs
CHESS Release on MSDN DevLabs
Posted
over 3 years ago
by
CHESS Tool
1
Comments
Hi. This is Tom Ball . I am a Principal Researcher at Microsoft Research , where I manage the Software Reliability Research group in the Research in Software Engineering area. On behalf of the CHESS team, I am happy to announce our first DevLabs pre...
CHESS: Find and Reproduce Concurrency Heisenbugs
Welcome to the CHESS blog
Posted
over 3 years ago
by
CHESS Tool
1
Comments
CHESS is a tool from Microsoft Research that helps you better test concurrent programs. You can use CHESS to systematically drive your programs into different thread interleavings, flushing out a lot of bugs in this process. Once a bug is found, CHESS...
Page 1 of 1 (6 items)