Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Righting Software

James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jon Pincus, Sriram K. Rajamani, and Ramanathan Venkatapathy

Abstract

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.

Details

Publication typeArticle
Published inIEEE Software
URLhttp://www.ieee.org/
Pages92–100
Volume21
Number3
PublisherInstitute of Electrical and Electronics Engineers, Inc.
> Publications > Righting Software