[PDF][PDF] Automated patching techniques: the fix is in: technical perspective

M Harman - Communications of the ACM, 2010 - dl.acm.org
Automated patching techniques Page 1 108 communications of the acm | may 2010 | vol. 53 |
no. 5 oVer The PasT 40 years, much effort has been devoted to testing software to find bugs.
Testing is difficult because the underlying problem involves undecidable questions such as
statement reachability. However, testing cannot be ignored. The National Institute of Standards
and Techniques estimated the cost of software failure to the US economy at $60 billion,
indicating that improved software testing could reduce this by at least one-third.If finding bugs is …