loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Righting Software
May/June 2004 (vol. 21 no. 3)
pp. 92-100
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/MS.2004.1293079,
author = {James R. Larus and Thomas Ball and Manuvir Das and Robert DeLine and Manuel F?hndrich and Jon Pincus and Sriram K. Rajamani and Ramanathan Venkatapathy},
title = {Righting Software},
journal ={IEEE Software},
volume = {21},
number = {3},
issn = {0740-7459},
year = {2004},
pages = {92-100},
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2004.1293079},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Righting Software
IS - 3
SN - 0740-7459
SP92
EP100
EPD - 92-100
A1 - James R. Larus,
A1 - Thomas Ball,
A1 - Manuvir Das,
A1 - Robert DeLine,
A1 - Manuel F?hndrich,
A1 - Jon Pincus,
A1 - Sriram K. Rajamani,
A1 - Ramanathan Venkatapathy,
PY - 2004
KW - software engineering
KW - coding tools and techniques
KW - formal methods
KW - model checking
VL - 21
JA - IEEE Software
ER -
 
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
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
Usage of this product signifies your acceptance of the Terms of Use.