The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (2004 vol. 21)
ISSN: 0740-7459
pp: 92-100
Manuel F?hndrich , Microsoft Research
Thomas Ball , Microsoft Research
Jon Pincus , Microsoft Research
Robert DeLine , Microsoft Research
Ramanathan Venkatapathy , Microsoft Research
Sriram K. Rajamani , Microsoft Research
Manuvir Das , Microsoft Research
James R. Larus , 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
Manuel F?hndrich, Thomas Ball, Jon Pincus, Robert DeLine, Ramanathan Venkatapathy, Sriram K. Rajamani, Manuvir Das, James R. Larus, "Righting Software", IEEE Software, vol. 21, no. , pp. 92-100, May/June 2004, doi:10.1109/MS.2004.1293079
89 ms
(Ver )