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