Microsoft Research on Righting Software

The Microsoft Research Publications feed has this recently published article, which is related to Visual Studio Team System in that it talks about PREfast (included in Team Developer Edition).

Righting Software

Righting Software
James R. Larus; Thomas Ball; Manuvir Das; Robert DeLine; Manuel Fahndrich; jon pincus; Sriram K. Rajamani; Ramanathan Venkatapathy
May 2004
Available Documents:

Correctness tools can improve software development by systematically detecting programming errors. Microsoft Research has developed two generations of these tools that help programmers find and fix errors early in the development process.
Publisher: Institute of Electrical and Electronics Engineers, Inc.
IEEE Software, Vol. 21, No. 3, pp 92–100, May/June 2004.