Rob Caron

Developer-related topics and other stuff.

Microsoft Research on Righting Software

Microsoft Research on Righting Software

  • Comments 2

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:
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

Page 1 of 1 (2 items)
Leave a Comment
  • Please add 7 and 5 and type the answer here:
  • Post