Software has bugs. What can we do to reduce the likelihood that they escape undetected and unfixed? This lecture explores techniques developed over the last 80 years of software development that, while not perfect, have proven remarkably effective at addressing this issue.
Links