logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

Righting software

delete2004-05-01
delete61
PRE
AI
L
Larus, JB
T
T. Ball
B
Bas, M
R
Robert DeLine
M
Manuel Fähndrich
P
Pincus, I
S
Sriram K. Rajamani
V
Vankatapathy, R
DOI：10.1109/MS.2004.1293079delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Correctness tools can improve software-development by supplementing human shortcomings-detecting programming errors such as null-pointer references, API usage errors, and failing to close file descriptors. Microsoft Research has developed two generations of correctness tools. Together, these tools offer a systematic approach for finding and fixing errors early in the development process.

Journal

IEEE Software cover
IEEE Software
IF:
3
Papers:
3.1K
Citations:
3.6K

Organization

No organization information available