.png){kind=icon}
Return
Righting software
.png){kind=icon}
PRE
AI
DOI：10.1109/MS.2004.1293079.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
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
IF:
3
Papers:
3.2K
Citations:
3.6K
Organization
No organization information available
Cited Papers
ShareSaveHigh-resolution solid state 13C n.m.r. study of the interpolymer interaction, morphology and chain dynamics of the poly(acrylic acid)/poly(ethylene oxide) complex.png)
Polymer
PolymerIF0
PREAI
ShareSave
ShareSaveShareSave no more
no more