Software Reliability Research

Bookmark this site if you are interested in what Microsoft Research is doing to improve the quality of software through analysis, program verification and software measurement techniques. I wonder how many of these tools might make it into VSTS in the future? MUTT might be interesting.

Here are a couple of interesting articles: