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 SoftwareRighting SoftwareJames R. Larus; Thomas Ball; Manuvir Das; Robert DeLine; Manuel Fahndrich; jon pincus; Sriram K. Rajamani; Ramanathan VenkatapathyMay 2004Available Documents:PDF 337KB 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.http://research.microsoft.com/~larus/Papers/IEEE_SW_Righting_Software.pdf
Righting Software
Righting SoftwareJames R. Larus; Thomas Ball; Manuvir Das; Robert DeLine; Manuel Fahndrich; jon pincus; Sriram K. Rajamani; Ramanathan VenkatapathyMay 2004Available Documents:PDF 337KB 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.http://research.microsoft.com/~larus/Papers/IEEE_SW_Righting_Software.pdf