Miscomputation in software Learning to live with errors

This paper has been published in The Art, Science, and Engineering of Programming, Volume 1, Issue 2 and so it is no longer a draft. This page has been moved to published papers section.