The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May/June (2004 vol.21)
pp: 92-100
James R. Larus , Microsoft Research
Thomas Ball , Microsoft Research
Manuvir Das , Microsoft Research
Robert DeLine , Microsoft Research
Manuel F?hndrich , Microsoft Research
Jon Pincus , Microsoft Research
Sriram K. Rajamani , Microsoft Research
Ramanathan Venkatapathy , Microsoft Research
ABSTRACT
Correctness tools can improve software development by supplementing human shortcomings, detecting programming errors such as null-pointer dereferences, API usage errors, and failing to close file descriptors. Microsoft Research has developed two generations of correctness tools: The first are heuristic tools widely used inside the organization to find programming errors; the second are tools based on sound program analysis and driven by rules describing interface behavior. Together, these tools offer a systematic approach for finding and fixing errors early in the development process.
INDEX TERMS
software engineering, coding tools and techniques, formal methods, model checking
CITATION
James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel F?hndrich, Jon Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy, "Righting Software", IEEE Software, vol.21, no. 3, pp. 92-100, May/June 2004, doi:10.1109/MS.2004.1293079
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool